Logic Colloquium '78, Proceedings of the colloquium held in Mons
- 1st Edition
- Volume 97
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 5 0 5 - 6
Books in Theory and mathematics
Books in Theory and mathematics
121-130 of 301 results in All results
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
- 1st Edition
- Volume 99
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 5 0 7 - 0
SET THEORY
- 1st Edition
- Volume 86
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 4 9 5 - 0
Combinatorial Set Theory
- 1st Edition
- Volume 91
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 4 9 9 - 8
Non-Classical Logics, Model Theory, And Computability
- 1st Edition
- Volume 89
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 4 9 8 - 1
Contributions to Non-Standard Analysis
- 1st Edition
- Volume 69
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 4 8 0 - 6
Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
- 1st Edition
- Volume 59
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 9 7 8 - 0 0 8 - 0 9 5 - 2
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
- 1st Edition
- Volume 60
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 4 7 3 - 8
Model Theory For Infinitary Logic
- 1st Edition
- Volume 62
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 4 7 5 - 2
Proceedings of the Second Scandinavian Logic Symposium
- 1st Edition
- Volume 63
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 - 0 - 0 8 - 0 9 5 4 7 6 - 9