Linked Data Explorerhttp://worldcat.org/entity/work/id/2210419
Formally self-referential propositions for cut free classical analysis and related systems
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/2210419#Topic/metamatematyka
- http://id.worldcat.org/fast/1079268
- http://experiment.worldcat.org/entity/work/data/2210419#Topic/logika_matematyczna
- http://experiment.worldcat.org/entity/work/data/2210419#Topic/logika_symboliczna_i_matematyczna
- http://id.loc.gov/authorities/subjects/sh85093237
- http://id.worldcat.org/fast/1041273
- http://id.loc.gov/authorities/subjects/sh85107552
- http://id.loc.gov/authorities/subjects/sh85078115
- http://id.worldcat.org/fast/1002068
http://schema.org/name
- "Formally self-referential propositions for cut free classical analysis and related system"
- "Formally self-referential propositions for cut free classical analysis and related systems"@en
- "Formally self-referential propositions for cut free classical analysis and related systems"