Recursion theory for metamathematics / Raymond M. Smullyan
Main Author Smullyan, Raymond M. Language Inglês. Publication Oxford : Claredon Press, 1993Description 163 p. ; 24 cm Series Oxford Logic Guides ; 22 ISBN 019508232X Subjects Metamatemática
Lógica simbólica
Lógica matemática
| Item type | Library | Location | Form | Call number | Status | Direct Acess | Date due | Fund | Barcode |
|---|---|---|---|---|---|---|---|---|---|
| Book | Biblioteca Vitorino Magalhães Godinho | Sala de Leitura | IFILNOVA REF 330/22 | Available | Fundo Geral | 1358IFILNOVA |
There are no comments for this item.