Books in Mathematical logic and formal languages
Books in Mathematical logic and formal languages
- 2nd Edition
- December 17, 2010
- Johan F.A.K. van Benthem + 1 more
- English
- Paperback9 7 8 0 4 4 4 6 0 2 2 5 1
- eBook9 7 8 0 4 4 4 5 3 7 2 7 0

Handbook of Logic and Language
- 1st Edition
- Volume 65
- January 1, 1972
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 7 7 6

Combinatory Logic
- 1st Edition
- Volume 87
- January 1, 1977
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 9 6 7

Logic Colloquium 76, Proceedings of a conference
- 1st Edition
- Volume 44
- January 1, 1966
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 7 1 4

Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress
- 1st Edition
- October 6, 2000
- K. Futatsugi + 2 more
- English
- eBook9 7 8 0 0 8 0 5 2 8 4 0 3

CAFE: An Industrial-Strength Algebraic Formal Method
- 1st Edition
- Volume 72
- January 1, 1974
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 8 3 7

Logic in Algebraic Form
- 1st Edition
- Volume 75
- January 1, 1973
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 8 5 1

The Axiom of Choice
- 1st Edition
- Volume 74
- January 1, 1973
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 8 4 4

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
- 1st Edition
- Volume 81
- January 1, 1975
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 9 1 2

Proof Theory
- 1st Edition
- Volume 76
- January 1, 1974
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 8 6 8
