Tableau systems for first order number theory and certain higher order theories /
Saved in:
| Author / Creator: | Toledo, Sue Ann, 1940- |
|---|---|
| Imprint: | Berlin ; New York : Springer-Verlag, 1975. |
| Description: | 339 p. ill. ; 25 cm. |
| Language: | English |
| Series: | Lecture notes in mathematics ; 447 Lecture notes in mathematics (Springer-Verlag) 447 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/81042 |
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 81042 | ||
| 003 | ICU | ||
| 005 | 19950827000000.0 | ||
| 008 | 760323s1975 wb b 00010 eng u | ||
| 010 | |a 75006738 | ||
| 015 | |a GFR*** | ||
| 020 | |a 0387071490 | ||
| 035 | |a (ICU)BID1554107 | ||
| 035 | |a (OCoLC)1255064 | ||
| 040 | |a DLC |c DLC |d ICU | ||
| 041 | 0 | |a eng | |
| 050 | 0 | |a QA3 |b .L28 no. 447 |a QA9.54 | |
| 082 | |a 510/.8 s |a 511/.3 | ||
| 100 | 1 | |a Toledo, Sue Ann, |d 1940- |0 http://id.loc.gov/authorities/names/no2010036795 |1 http://viaf.org/viaf/59628522 | |
| 245 | 1 | 0 | |a Tableau systems for first order number theory and certain higher order theories / |c Sue Toledo. |
| 260 | 0 | |a Berlin ; |a New York : |b Springer-Verlag, |c 1975. | |
| 300 | |a 339 p. |b ill. ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Lecture notes in mathematics ; |v 447 | |
| 504 | |a Bibliography: p. [335]-339. | ||
| 650 | 0 | |a Proof theory |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
| 650 | 0 | |a Number theory |0 http://id.loc.gov/authorities/subjects/sh85093222 | |
| 650 | 0 | |a Predicate calculus |0 http://id.loc.gov/authorities/subjects/sh85106251 | |
| 650 | 7 | |a Number theory. |2 fast |0 http://id.worldcat.org/fast/fst01041214 | |
| 650 | 7 | |a Predicate calculus. |2 fast |0 http://id.worldcat.org/fast/fst01075023 | |
| 650 | 7 | |a Proof theory. |2 fast |0 http://id.worldcat.org/fast/fst01078942 | |
| 830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) |v 447 |0 http://id.loc.gov/authorities/names/n42015165 | |
| 903 | |a HeVa | ||
| 903 | |a Hathi | ||
| 929 | |a cat | ||
| 999 | f | f | |i 402f87bd-aa5c-5006-8f69-c9cee90fb998 |s d3c2bfcd-f928-5466-b207-a30dd5beb324 |
| 928 | |t Library of Congress classification |a QA9.54.T65 |l ASR |c ASR-SciASR |i 2022225 | ||
| 927 | |t Library of Congress classification |a QA9.54.T65 |l ASR |c ASR-SciASR |e CRERAR |b 13059468 |i 196726 | ||
