Mathematical logic and theoretical computer science / Edited by David W. Kueker, Edgar Lopez-Escobar, Carl H. Smith.
Material type: TextSeries: (Lecture notes in pure and applied mathematics ; ) ; V. 106Publication details: New York : Marcel Dekker, inc. 1987Edition: 1a edDescription: xviii, 383 p. : ìl.; 25 cmISBN:- 0824777468
- QA9.2 M38 1987
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Libro | Biblioteca de la Facultad de Físico Matemáticas General | QA9.2 M38 1987 (Browse shelf(Opens below)) | 1 | Available | FFM000003409 |
Browsing Biblioteca de la Facultad de Físico Matemáticas shelves, Shelving location: General Close shelf browser (Hides shelf browser)
QA9 Z83 1993 C:1 Taller de logica matematica : Analisis logico / | QA9 Z83 1993 C:2 Taller de logica matematica : Analisis logico / | QA9 Z83 r2005 Lógica matemática elemental | QA9.2 M38 1987 Mathematical logic and theoretical computer science | QA9.37 G63 1995 C:1 Sistemas formales, informalmente : ¿por que intentaron formalizar a la matematica si era tan buena muchacha? / | QA9.54 R68 c1998 C:1 Journey into mathematics : | QA9.54 R68 c1998 C:2 Journey into mathematics : |
Incluye ìndice
There are no comments on this title.
Log in to your account to post a comment.