Logic and Structure
1926 Kč
Odesíláme do 1 až 2 týdnů
Sleva až 70% u třetiny knih
Dirk van Dalen's popular textbook, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Goedel's famous incompleteness theorem. Includes a new section on ultra-products.
Autor: | Dalen, Dirk van |
Nakladatel: | Springer London Ltd |
ISBN: | 9781447145578 |
Rok vydání: | 2012 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
Počet stran: | 263 |
Mohlo by se vám také líbit..
-
Propositional and Predicate Calculus...
Goldrei, Derek
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Further Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
Basic Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
Bridging the Gap to University Mathe...
Hurst, Edward; Gould, Martin
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Introduction to Scientific Visualiza...
Wright, Helen S. (Author)
-
Mathematical Writing
Vivaldi, Franco
-
Guide to Software Development
Langer, Arthur M.
-
Writing for Computer Science
Zobel, Justin
-
Clinical Research Informatics
-
Ontological Engineering
Fernández López, Sonsoles
-
Perineal and Anal Sphincter Trauma
-
Model Predictive Control
Camacho, Eduardo F.; Bordons Alba, Carlos
-
Mathematical and Computer Programmin...
Comninos, Peter
-
Forensic Computing
Sammes, Anthony J.; Jenkinson, Brian