Aspects of mathematical logic
H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Format: | Electronic Resource |
| Langue: | English |
| Publié: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2011.
|
| Collection: | C.I.M.E. Summer Schools
48 |
| Sujets: | |
| Accès en ligne: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |