Handbook of Mathematica Logic Edited by Jon Barwise ; With the coooperation of H. J. Keisler (et al.)
Por: HANDBOOK OF MATHEMATICAL LOGIC.
Colaborador(es): BARWISE, Jon | KEISLER, W. J.
Series Studies in Logic and The Foundations of Mathematics 90.Editor: Amsterdam:London Northe Holland 1993Edición: 8th. impression.Descripción: xi, 1165 p. 23 cm.ISBN: 0-444-86388-5.Tema(s): lógica matemática simbólicaTipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
Libros | Biblioteca Estudio Teológico Agustiniano de Valladolid Fondo General | 510.6 H 17 Bar (Navegar estantería) | 199411 | Disponible |
Navegando Biblioteca Estudio Teológico Agustiniano de Valladolid Estantes , Ubicación: Fondo General Cerrar el navegador de estanterías
No hay imagen de cubierta disponible | ||||||||
510.6 G22 C El arte de la lógica | 510.6 G25M Log Lógica simbólica | 510.6 G73 F Log Lógica, llenguatge I Matematica | 510.6 H 17 Bar Handbook of Mathematica Logic | 510.6 H 45 H Int Introducción a la teoría de la computabilidad | 510.6 H 64 P Fun Fundamentals of Mathematical Logic | 510.6 H 84 C Log Logic with trees |
No hay comentarios para este ejemplar.