Proof theory and intuitionistc systems
Main Author: | Scarpellini, Bruno (Author, Autor/a) |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlín :
Springer,
1964-.
|
Subjects: |
Similar Items
-
The art of proof : basic training for deeper mathematics /
by: Beck, Matthias,
Published: (2010) -
Euler's triangle inequality via proofs without words.
by: Nelsen, Roger B. -
Theory of arithmetic /
by: Peterson, John A., et al.
Published: (1967) -
Tratado de aritmética /
by: Bruño, G M -
A course in model theory : an introduction to contemporary mathematical logic /
by: Poizat, Bruno, et al.
Published: (2000)