Logic and Complexity
9
%
3931 Kč 4 328 Kč
Sleva až 70% u třetiny knih
Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic.
| Autor: | Lassaigne, Richard; De Rougemont, Michel |
| Nakladatel: | Springer London Ltd |
| ISBN: | 9781447110521 |
| Rok vydání: | 2012 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 361 |
Mohlo by se vám také líbit..
-
Foundations for Designing User-Cente...
Ritter, Frank E.; Baxter, Gordon D.; Churchill, Elizabeth F.
-
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
-
Model Predictive Control
Camacho, Eduardo F.; Bordons Alba, Carlos
-
Basic Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
Further Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Logic and Structure
Dalen, Dirk van
-
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
-
Ontological Engineering
Fernández López, Sonsoles