The limits of mathematics a course on information theory and limits of formal reasoning
| Main Author: | Chaitin, Gregory J. (Author) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Singapore
Springer
1998
|
| Series: | Springer series in discrete mathematics and theoretical computer science
|
| Subjects: |
Similar Items
-
The limits of mathematics a course on information theory and limits of formal reasoning
by: Chaitin, Gregory J.
Published: (2003) -
A first course in formal logic and its applications in computer science
by: Dowsing, R.D
Published: (1986) -
Teaching and learning formal methods
Published: (1996) -
Computing in Horn clause theories
by: Padawitz, Peter
Published: (1988) -
The resolution calculus /
by: Leitsch, Alexander
Published: (1997)