Introduction to metamathematics
Saved in:
| Main Author: | Kleene, Stephen Cole 1909- |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Groningen ; Amsterdam :
Wolters-Noorsdhoff pub. ; North-Holland pub.,
c1952
|
| Series: | Bibliotheca mathematica ;
; 1 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic, semantics and metamathematics :
by: Tarski, Alfred
Published: (1983) -
Introduction to model theory and to the metamathematics of algebra
by: Robinson, Abraham, 1918-1974
Published: (1963) -
Metamathematics of first - order arithmetic
by: Hajek, Petr
Published: (1998) -
Mathematical logic
by: Kleene, Stephen Cole 1909-
Published: (1967) -
The foundations of intuitionistic mathematics :
by: Kleene, Stephen Cole 1909-
Published: (1965)