Logic and Structure
1815 Kč 1 826 Kč
Odesíláme do 5 až 7 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
-
Bridging the Gap to University Mathe...
Hurst, Edward; Gould, Martin
-
Mathematical Writing
Vivaldi, Franco
-
Writing for Computer Science
Zobel, Justin
-
Ontological Engineering
Fernández López, Sonsoles
-
Linear Functional Analysis
Rynne, Bryan P. (Department of Mathematics, Heriot-Watt University, Edinburgh); Youngson, Martin A.
-
Model Predictive Control
Camacho, Eduardo F.; Bordons Alba, Carlos
-
Basic Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Principles of Digital Image Processing
Burger, Wilhelm
-
Forensic Computing
Sammes, Anthony J.; Jenkinson, Brian
-
Dynamics and Control of Mechanical S...
He, Wei; Ge, Shuzhi Sam; How, Bernard Voon Ee; Choo, Yoo Sang
-
An Introduction to Statistical Modeli...
Coles, Stuart
