Proof theory : an introduction /
Autor principal: | Pohlers, Wolfram (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1964-.
|
Materias: |
Ejemplares similares
-
Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
por: Kino, A., et al.
Publicado: (1970) -
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964) -
Proofs and refutations : the logic of mathematical discovery /
por: Lakatos, Imre, et al.
Publicado: (1976) -
Introduction to mathematical proofs : a transition to advanced mathematics /
por: Roberts, Charles E. 1942-
Publicado: (2015) -
Model theory /
por: Chang, C. C.
Publicado: (1973)