Logique mathématique, cours et exercices
Tipo de material: TextoSeries AxiomesDetalles de publicación: Paris : Masson, 24 cm Descripción: xv, 347 p ; 24 cmISBN: 2-225-84080-6; 2225840806Tema(s): Lógica simbólica y matemática | Funciones recursivas | Modelos, Teoría de
Contenidos:
vol 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles / René Cori, Daniel Lascar ; préface de J.L. Krivine
Tipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|
Fuera de préstamo | 02. BIBLIOTECA CAMPUS PUERTO REAL | Matemáticas - 510.6/COR/log (Navegar estantería(Abre debajo)) | Texto completo | No para préstamo (Uso restringido) | 3700314564 |
Total de reservas: 0
Bibliographie. Index
vol 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles / René Cori, Daniel Lascar ; préface de J.L. Krivine
No hay comentarios en este titulo.