Imagen de Amazon.com
Selected papers in proof theory / Grigorii E. Mints
Tipo de material:
TextoIdioma: ENG Series Studies in proof theory. Monographs ; ; 3Editor: Napoli : Amsterdam ; New York : Bibliopolis ; North-holland, c1992Descripción: 294 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 8870882284Tema(s): Teoría de la demostraciónClasificación CDD: 511.3 Clasificación LoC:QA9.54 | M55 1992
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | Coleccion General | QA9.54 M55 1992 (Navegar estantería(Abre debajo)) | 1 | Disponible | 76706 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: Coleccion General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| QA9.54 M34 Mathematical thinking and writing : | QA9.54 M34 Mathematical thinking and writing : | QA9.54 M34 Mathematical thinking and writing : | QA9.54 M55 1992 Selected papers in proof theory | QA9.54 N43 Proof analysis : | QA9.54 N44 Structural proof theory / | QA9.54 O57 Proof theory and algebra in logic |
Incluye referencias bibliograficas.
No hay comentarios en este titulo.