Applied proof theory: proof interpretations and their use in mathematics.
Formato: | Libro |
---|---|
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964) -
Proofs & theories : essays on poetry /
por: Glück, Louise Elisabeth 1943-
Publicado: (1994) -
Introduction to mathematical proofs : a transition /
por: Roberts, Charles E. 1942-, et al.
Publicado: (2010) - Advances in proof theory.
-
Introduction to mathematical proofs : a transition to advanced mathematics /
por: Roberts, Charles E. 1942-
Publicado: (2015)