Imagen de Amazon.com
Proof theory : the first step into impredicativity / Wolfram Pohlers
Tipo de material:
TextoEditor: New York : Springer Verlag, c2009Descripción: 370 páginasTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 9783540693185Tema(s): Teoría de la demostraciónClasificación LoC:QA9.54 | P65
| 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 P65 (Navegar estantería(Abre debajo)) | 1 | Disponible | 111950 |
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 N44 Structural proof theory / | QA9.54 O57 Proof theory and algebra in logic | QA9.54 P63 Adapting proofs-as-programs : | QA9.54 P65 Proof theory : | QA9.54 R63 2015 Introduction to mathematical proofs : | QA9.54 R63 2015 Introduction to mathematical proofs : | QA9.54 S27 Proof theory / |
compra 2013/06/06 860.29
No hay comentarios en este titulo.