Hybrid Logic and Its Proof-Theory
Autor Torben Braüner
30 noi 2010
Hardback
Preț: 618.78 lei 727.98 lei
6-8 săpt.
-15%
Applied Logic Series
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%
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%
New Essays in Free Logic
Editat de E. Morscher et al.
9 dec 2010
Paperback
Preț: 611.78 lei 719.74 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%
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%
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%
Formal Aspects of Context
Editat de Pierre Bonzon et al.
9 dec 2010
Paperback
Preț: 610.16 lei 717.83 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%