Introduction to metamathematics
Autor principal: | Kleene, Stephen Cole 1909- (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Princeton, N.J. :
Van Nostrand,
1950.
|
Colección: | The university series in higher mathematics
|
Materias: |
Ejemplares similares
-
Introduction to Metamathematics / Stephen Cole Kleene
por: Kleene, Stephen Cole -
The Foundations of intuitionistic mathematics; especially in relation to recursive functions
por: Kleene, Stephen Cole
Publicado: (1965) -
The foundations of intuitionistic mathematics: especially in relation to recursive functions /
por: Kleene, Stephen Cole 1909-, et al.
Publicado: (1965) -
On the metamathematics of algebra /
por: Robinson, Abraham 1918-1974, et al.
Publicado: (1951) -
Logic, semantics, metamathematics : papers from 1923 to 1938
por: Tarski, Alfred, et al.
Publicado: (1956)