Vista normal
Vista MARC
Proof theory / Gaisi Takeuti
Tipo de material:
TextoSeries Studies in logic and the foundations of mathematics ; v. 81Detalles de publicación: Amsterdam : North-HollandEdición: 2a. edDescripción: x, 490 p. ; 23 cmISBN: - 0-444-87943-9
- QA 9.54 T34.1987
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
| Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 9.54 T34.1987 (Navegar estantería(Abre debajo)) | Disponible | 160075 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| No hay imagen de cubierta disponible | ||||||||
| QA 9.5 B36.1984 The Lambda calculus : its syntax and semantics / | QA 9.5 C8718.1967 Lógica combinatoria / | QA 9.54 C65.1989 La Démonstration mathématique dans l'histoire : | QA 9.54 T34.1987 Proof theory / | QA 9.54 T39.2014 Understanding mathematical proof / | QA 9.56 T74 Constructivism in mathematics : an introduction / | QA 9.58 B73.1996 Fundamentals of algorithmics / |
acc. 160075
Incluye apendice, referencias e indice.
"Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968."
