Logic and Complexity by Richard Lassaigne
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.-
The Unknowable
-
Exploring RANDOMNESS
-
The LIMITS of MATHEMATICS
-
Combinatorics, Computability and Logic
-
Sequences and their Applications
-
Finite Versus Infinite
-
Lattice Functions and Equations
-
Turing's Connectionism
-
Network Algebra
-
Information Algebras
-
Unconventional Models of Computation, UMC'2K
-
Quantum Logic
| SKU | Unavailable |
| ISBN 13 | 9781447110521 |
| ISBN 10 | 1447110528 |
| Title | Logic and Complexity |
| Author | Richard Lassaigne |
| Series | Discrete Mathematics And Theoretical Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer London Ltd |
| Year published | 2012-10-08 |
| Number of pages | 361 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |