E-book
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Record details
- ISBN: 9783319021713
-
Physical Description:
electronic
electronic resource
access
remote
IX, 77 p. online resource. - Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.
Search for related items by subject
| Subject: | Philosophy (General) Logic Logic, Symbolic and mathematical Philosophy Logic Mathematical Logic and Foundations |
Search for related items by series
Electronic resources
| LDR | 01531nam a22003975i 4500 | ||
|---|---|---|---|
| 001 | 20563 | ||
| 003 | CONS | ||
| 005 | 20131022164039.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 131022s2014 gw | s |||| 0|eng d | ||
| 020 | . | ‡a9783319021713 ‡9978-3-319-02171-3 | |
| 024 | 7 | . | ‡a10.1007/978-3-319-02171-3 ‡2doi |
| 035 | . | ‡a(DE-He213)978-3-319-02171-3 | |
| 050 | 4. | ‡aBC1-199 | |
| 072 | 7. | ‡aHPL ‡2bicssc | |
| 072 | 7. | ‡aPHI011000 ‡2bisacsh | |
| 100 | 1 | . | ‡aHorská, Anna. ‡eauthor. |
| 245 | 1 | 0. | ‡aWhere is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals ‡h[electronic resource] / ‡cby Anna Horská. |
| 264 | 1. | ‡aCham : ‡bSpringer International Publishing : ‡bImprint: Springer, ‡c2014. | |
| 300 | . | ‡aIX, 77 p. ‡bonline resource. | |
| 336 | . | ‡atext ‡btxt ‡2rdacontent | |
| 337 | . | ‡acomputer ‡bc ‡2rdamedia | |
| 338 | . | ‡aonline resource ‡bcr ‡2rdacarrier | |
| 347 | . | ‡atext file ‡bPDF ‡2rda | |
| 490 | 1 | . | ‡aSpringerBriefs in Philosophy, ‡x2211-4548 |
| 650 | 0. | ‡aPhilosophy (General). | |
| 650 | 0. | ‡aLogic. | |
| 650 | 0. | ‡aLogic, Symbolic and mathematical. | |
| 650 | 1 | 4. | ‡aPhilosophy. |
| 650 | 2 | 4. | ‡aLogic. |
| 650 | 2 | 4. | ‡aMathematical Logic and Foundations. |
| 710 | 2 | . | ‡aSpringerLink (Online service) |
| 773 | 0 | . | ‡tSpringer eBooks |
| 776 | 0 | 8. | ‡iPrinted edition: ‡z9783319021706 |
| 830 | 0. | ‡aSpringerBriefs in Philosophy, ‡x2211-4548 | |
| 856 | 4 | 0. | ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-319-02171-3 ‡yTexto completo ‡9CONS |
| 950 | . | ‡aHumanities, Social Sciences and Law (Springer-11648) | |
| 901 | . | ‡a20563 ‡b ‡c20563 ‡tbiblio ‡sSystem Local | |
