Logical foundations of mathematics and computational complexity : a gentle introduction
Saved in:
| Main Author: | Pudlak, Pavel 1952- |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham ; New York :
Springer,
c2013.
|
| Series: | Springer monographs in mathematics
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Foundations of mathematical logic
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1977) -
Descriptive complexity
by: Immerman, Neil 1953-
Published: (1999) -
Foundations of logic and mathematics
by: Carnap, Rudolf, 1891-1970
Published: (1963) -
Mathematical logic and the foundations of mathematics :
by: Kneebone, G. T.
Published: (1963) -
Logic and computer science :
by: Homer, S. (Steven)
Published: (1990)