E-book
Foundational Theories of Classical and Constructive Mathematics
Record details
- ISBN: 9789400704312
-
Physical Description:
electronic
electronic resource
access
remote
XI, 314p. digital. - Publisher: Dordrecht : Springer Netherlands, 2011.
Search for related items by subject
| Subject: | Mathematics Logic Science Philosophy Logic, Symbolic and mathematical Mathematics Mathematical Logic and Foundations Philosophy of Science Logic |
Search for related items by series
Electronic resources
| LDR | 01383nam a22003855i 4500 | ||
|---|---|---|---|
| 001 | 6269 | ||
| 003 | CONS | ||
| 005 | 20121026153747.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110323s2011 ne | s |||| 0|eng d | ||
| 020 | . | ‡a9789400704312 ‡9978-94-007-0431-2 | |
| 024 | 7 | . | ‡a10.1007/978-94-007-0431-2 ‡2doi |
| 035 | . | ‡a(DE-He213)978-94-007-0431-2 | |
| 050 | 4. | ‡aQA8.9-10.3 | |
| 072 | 7. | ‡aPBC ‡2bicssc | |
| 072 | 7. | ‡aPBCD ‡2bicssc | |
| 072 | 7. | ‡aMAT018000 ‡2bisacsh | |
| 100 | 1 | . | ‡aSommaruga, Giovanni. |
| 245 | 1 | 0. | ‡aFoundational Theories of Classical and Constructive Mathematics ‡h[electronic resource] / ‡cedited by Giovanni Sommaruga. |
| 260 | . | ‡aDordrecht : ‡bSpringer Netherlands, ‡c2011. | |
| 300 | . | ‡aXI, 314p. ‡bdigital. | |
| 490 | 0 | . | ‡aThe Western Ontario Series in Philosophy of Science, ‡x1566-659X ; ‡v76 |
| 650 | 0. | ‡aMathematics. | |
| 650 | 0. | ‡aLogic. | |
| 650 | 0. | ‡aScience ‡xPhilosophy. | |
| 650 | 0. | ‡aLogic, Symbolic and mathematical. | |
| 650 | 1 | 4. | ‡aMathematics. |
| 650 | 2 | 4. | ‡aMathematical Logic and Foundations. |
| 650 | 2 | 4. | ‡aPhilosophy of Science. |
| 650 | 2 | 4. | ‡aLogic. |
| 710 | 2 | . | ‡aSpringerLink (Online service) |
| 773 | 0 | . | ‡tSpringer eBooks |
| 776 | 0 | 8. | ‡iPrinted edition: ‡z9789400704305 |
| 830 | 0. | ‡aThe Western Ontario Series in Philosophy of Science, ‡x1566-659X ; ‡v76 | |
| 856 | 4 | 0. | ‡uhttp://dx.doi.org/10.1007/978-94-007-0431-2 ‡9CONS |
| 950 | . | ‡aHumanities, Social Sciences and Law (Springer-11648) | |
| 901 | . | ‡a6269 ‡b ‡c6269 ‡tbiblio ‡sSystem Local | |
