Theory of formal systems /
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Smullyan, Raymond M. (Raymond Merrill) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
[Place of publication not identified] :
Princeton U.P.,
1961.
|
Edición: | Revised edition. |
Colección: | Annals of mathematics studies ;
no. 47. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Computability and logic.
por: Boolos, George
Publicado: (2007) -
The calculi of Lambda-conversion /
por: Alonzo Church
Publicado: (1941) -
Aritmetica pitagorica y el triangulo de pascal : una iniciacion al pensamiento recursivo.
Publicado: (2018) -
Degrees of unsolvability /
por: Gerald E. Sacks
Publicado: (1066) -
Computability and logic.
por: Boolos, George
Publicado: (2002)