Introduction to mathematical logic : volume I= I / Alonzo Church
Main Author Church, Alonzo, 1903-1995 Language Inglês. Edition 1ª edição Publication Princeton : Princeton University Press, 1956Description IX + 378 p. Series Princeton Mathematical Series / Phillip A. Griffiths, Marston Morse, Elias M. Stein ; 17= 17) Subjects Lógica matemática
Filosofia e matemática
Filosofia
Função
Lógica proposicional
Cálculo
Teoremas
Teorema da incompletude de Gödel
Problema da decisão
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Book | Biblioteca Vitorino Magalhães Godinho | Sala de Leitura | CHAM FCHU1/1 | Available | 06326CHAM |
There are no comments for this item.