Metamathematical investigation of intuitionistic arithmetic and analysis /
Saved in:
| Author / Creator: | Troelstra, A. S. (Anne Sjerp) |
|---|---|
| Imprint: | Berlin ; New York : Springer, 1973. |
| Description: | 1 online resource (xvii, 486 pages) : illustrations. |
| Language: | English |
| Series: | Lecture notes in mathematics, 0075-8434 ; 344 Lecture notes in mathematics (Springer-Verlag) ; 344. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11070853 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 11070853 | ||
| 005 | 20170630045542.4 | ||
| 006 | m o d | ||
| 007 | cr unu|||||||| | ||
| 008 | 090104s1973 gw a ob 001 0 eng d | ||
| 003 | ICU | ||
| 040 | |a SPLNM |b eng |e pn |c SPLNM |d GW5XE |d OCLCQ |d OCLCE |d OL$ |d OCLCO |d OCLCQ |d GW5XE |d OCLCF |d OCLCQ |d UA@ |d OCLCQ |d EBLCP |d OCLCQ |d YDX | ||
| 019 | |a 760274164 |a 934981672 |a 968450169 | ||
| 020 | |a 9783540378068 |q (electronic bk.) | ||
| 020 | |a 3540378065 |q (electronic bk.) | ||
| 020 | |z 9783540064916 | ||
| 020 | |z 3540064915 | ||
| 020 | |z 9780387064918 | ||
| 020 | |z 0387064915 | ||
| 035 | |a (OCoLC)296183359 |z (OCoLC)760274164 |z (OCoLC)934981672 |z (OCoLC)968450169 | ||
| 050 | 4 | |a QA3 |b .L28 no. 344 |a QA9.47 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Troelstra, A. S. |q (Anne Sjerp) |0 http://id.loc.gov/authorities/names/n50012539 |1 http://viaf.org/viaf/44365390 | |
| 245 | 1 | 0 | |a Metamathematical investigation of intuitionistic arithmetic and analysis / |c A.S. Troelstra (editor). |
| 260 | |a Berlin ; |a New York : |b Springer, |c 1973. | ||
| 300 | |a 1 online resource (xvii, 486 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture notes in mathematics, |x 0075-8434 ; |v 344 | |
| 504 | |a Includes bibliographical references (pages 462-475) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Intuitionistic formal systems -- Models and computability -- Realizability and functional interpretations -- Normalization theorems for systems of natural deduction -- Applications of Kripke models -- Iterated inductive definitions, trees and ordinals -- Erratum. | |
| 650 | 0 | |a Intuitionistic mathematics. |0 http://id.loc.gov/authorities/subjects/sh85067656 | |
| 650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
| 650 | 0 | |a Model theory. |0 http://id.loc.gov/authorities/subjects/sh85086421 | |
| 650 | 7 | |a Intuitionistic mathematics. |2 fast |0 (OCoLC)fst00977860 | |
| 650 | 7 | |a Model theory. |2 fast |0 (OCoLC)fst01024368 | |
| 650 | 7 | |a Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
| 655 | 4 | |a Electronic books. | |
| 776 | 0 | 8 | |i Print version: |a Troelstra, A.S. (Anne Sjerp). |t Metamathematical investigation of intuitionistic arithmetic and analysis. |d Berlin, Heidelberg, New York, Springer, 1973 |z 0387064915 |w (DLC) 73014239 |w (OCoLC)858277 |
| 776 | 0 | 8 | |i Print version: |a Troelstra, A.S. (Anne Sjerp). |t Metamathematical investigation of intuitionistic arithmetic and analysis. |d Berlin ; New York : Springer, 1973 |w (OCoLC)760274164 |
| 830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) ; |v 344. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/BFb0066739 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i f07d5131-78d5-5c09-9b28-9d31fc2a0914 |s 5b4b7935-a940-591c-b266-458e8b9cefec |
| 928 | |t Library of Congress classification |a QA3 .L28 no. 344 |l Online |c UC-FullText |u http://link.springer.com/10.1007/BFb0066739 |z SpringerLink |g ebooks |i 9878921 | ||