Logic and Structure
1918 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..
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Propositional and Predicate Calculus...
Goldrei, Derek
-
Bridging the Gap to University Mathe...
Hurst, Edward; Gould, Martin
-
Essential Topology
Crossley, Phil; Burgess, Martin; Fensom, Jim
-
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.
-
Linear Functional Analysis
Rynne, Bryan P. (Department of Mathematics, Heriot-Watt University, Edinburgh); Youngson, Martin A.
-
Ergodic Theory and Dynamical Systems
Coudene, Yves
-
Cooperative Work and Coordinative Pr...
Schmidt, Kjeld
-
Introduction to Scientific Visualiza...
Wright, Helen S. (Author)
-
Designing Reliable Distributed Systems
Olveczky, Peter Csaba
-
Guide to Software Development
Langer, Arthur M.
-
Writing for Computer Science
Zobel, Justin
-
Clinical Research Informatics
-
Ontological Engineering
Fernández López, Sonsoles