Logique mathématique, cours et exercices
Tipo de material:
TextoSeries AxiomesDetalles de publicación: Paris : Masson, 1993 Descripción: xv, 385 p ; 24 cmISBN: 2-225-84079-2; 2225840792Tema(s): Lógica simbólica y matemática -- Tratados, manuales, etc | Boole, Algebra de
Contenidos:
vol 1. Calcul propositionnel, algèbres de Boole, calcul des prédicats / 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) | 3700314143 |
Total de reservas: 0
Bibliographie . Index
vol 1. Calcul propositionnel, algèbres de Boole, calcul des prédicats / René Cori, Daniel Lascar ; préface de J.L. Krivine
No hay comentarios en este titulo.