Intuitionistic logic model theory and forcing
Gespeichert in:
| 1. Verfasser: | Fitting, Melvin Chris, 1942- |
|---|---|
| Format: | Livre papier |
| Sprache: | Anglais |
| Veröffentlicht: |
Amsterdam ; London :
North-Holland
1969, copyright 1969.
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
|
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
Ähnliche Einträge
-
Proof Theory and Intuitionistic Systems
(Livre numérique)
Scarpellini, Bruno, 19..- -
Metamathematical investigation of intuitionistic arithmetic and analysis
(Livre papier)
Troelstra, Anne Sjerp
Springer, 1973 -
Models of ZF-Set Theory
(Livre numérique)
Felgner, Ulrich, 1941- -
Elements of mathematical logic and set theory
(Livre papier)
Słupecki, Jerzy, 1904-1987, et al.
Pergamon press ; Polish scientific publishers, 1967 -
Metamathematical investigation of intuitionistic arithmetic and analysis
(Livre numérique)
Troelstra, Anne Sjerp

