Books in Mathematical logic and formal languages
Books in Mathematical logic and formal languages
- 1st Edition
- June 28, 2014
- M. A. Rosner + 2 more
- English
- Paperback9 7 8 1 4 9 3 3 0 6 1 8 3
- Hardback9 7 8 0 1 2 5 9 7 9 3 0 6
- eBook9 7 8 0 0 8 0 5 0 2 9 6 0
Constraints, Language and Computation
- 1st Edition
- Volume 2
- October 24, 2013
- C. Brezinski + 1 more
- English
- Paperback9 7 8 1 4 9 3 3 0 6 0 5 3
- eBook9 7 8 0 0 8 0 5 0 6 2 2 7
Extrapolation Methods
- 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
- Hardback9 7 8 0 4 4 4 5 3 7 2 6 3
- eBook9 7 8 0 4 4 4 5 3 7 2 7 0
Handbook of Logic and Language
- 1st Edition
- Volume 65
- June 17, 2009
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 4 7 7 6
Combinatory Logic
- 1st Edition
- Volume 44
- June 15, 2009
- 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
- Volume 87
- June 15, 2009
- 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
- October 6, 2000
- K. Futatsugi + 2 more
- English
- Paperback9 7 8 0 4 4 4 5 3 9 8 5 4
- eBook9 7 8 0 0 8 0 5 2 8 4 0 3
CAFE: An Industrial-Strength Algebraic Formal Method
- 1st Edition
- Volume 34
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 7 5 4 8
Provability, Computability and Reflection
- 1st Edition
- Volume 54
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 7 7 3 9
Intuitionistic Logic Model Theory and Forcing
- 1st Edition
- Volume 46
- April 1, 2000
- Lev D. Beklemishev
- English
- eBook9 7 8 0 0 8 0 9 5 7 6 5 4
Sets, Models and Recursion Theory