Recursiveness
Material type:
TextPublication details: Nueva York : [S.n.], 1970Description: viii, 89 pSubject(s):
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 EIL depo (Browse shelf(Opens below)) | Available | DIF-F086 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| F.4.1 BLA Modal Logic | F.4.1 COP Introducción a la lógica | F.4.1 DAV depo Truth, deduction, and computation : logic and semantics for computer science | F.4.1 EIL depo Recursiveness | F.4.1 GAL Logic for computer science : foundations of automatic theorem proving | F.4.1 HAM Logic for mathematicians | F.4.1 HAM Lógica para matemáticos |