An Introduction to Mathematical Logic and Type Theory
Autor Peter B. Andrews
9 dec 2010
Paperback
Preț: 565.31 lei 665.07 lei
6-8 săpt.
-15%
Applied Logic Series
Formal Aspects of Context
Editat de Pierre Bonzon et al.
31 iul 2000
Hardback
Preț: 613.55 lei 766.94 lei
17-24 zile | 7-13 zile
-20%
Hybrid Logic and its Proof-Theory
Autor Torben Braüner
2 ian 2013
Paperback
Preț: 610.94 lei 718.76 lei
6-8 săpt.
-15%
New Essays in Free Logic
Editat de E. Morscher et al.
31 dec 2001
Hardback
Preț: 617.46 lei 726.42 lei
6-8 săpt.
-15%
Goal-Directed Proof Theory
Autor Dov M. Gabbay et al.
4 dec 2010
Paperback
Preț: 612.76 lei 720.90 lei
6-8 săpt.
-15%
Thirty Five Years of Automating Mathematics
Editat de F. D. Kamareddine
22 oct 2010
Paperback
Preț: 615.40 lei 724.00 lei
6-8 săpt.
-15%
Logical and Computational Aspects of Model-Based Reasoning
Editat de L. Magnani et al.
30 sep 2002
Paperback
Preț: 616.82 lei 725.66 lei
6-8 săpt.
-15%
Proof Theory for Fuzzy Logics
Autor George Metcalfe et al.
22 oct 2010
Paperback
Preț: 695.18 lei 847.78 lei
6-8 săpt.
-18%
A Modern Perspective on Type Theory
Autor F. D. Kamareddine et al.
22 oct 2010
Paperback
Preț: 752.69 lei 917.91 lei
6-8 săpt.
-18%