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)