Metamathematical Investigation of Intuitionistic Arithmetic and Analysis TTS9S5DFA0
| URI | m2://res/TTS9S5DFA0 |
|---|---|
| Kind | monograph |
| Creators | A. S. Troelstra (editor) |
| Date | 1973 |
| MSC | 03F99, 03B55, 03F55, 03-02 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1973 |
| Ids | DOI 10.1007/bfb0066739, zbl 0275.02025, zbl_id 3432224 |
- m1: print, Springer Berlin Heidelberg, 1973 (record). isbn 9783540064916, isbn 9783540378068
Relations
- part_of Lecture Notes in Mathematics
Cited by
- ⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
- ⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
- ⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
- ⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
- Logic and Computer Science
- Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980
- Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980
- Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980
- Methods in Mathematical Logic
- Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13–23, 1977
- Algebra and Logic
Catalogue records
- springer-series: 10.1007/bfb0066739 (work)
- zbmath_search: 3432224 (work)