Combinatory logic. Volume II /
Provability, Computability and Reflection.
Cote: | Libro Electrónico |
---|---|
Autres auteurs: | , , |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Amsterdam ; London :
North-Holland Pub. Co,
1972.
|
Collection: | Studies in logic and the foundations of mathematics ;
v. 65. |
Sujets: | |
Accès en ligne: | Texto completo Texto completo Texto completo |
Internet
Texto completoTexto completo
Texto completo