Lanean...
Logic and Proof/
| Egile nagusia: | Bittinger, Marvin L. |
|---|---|
| Formatua: | Printed Book |
| Hizkuntza: | English |
| Argitaratua: |
Reading, Mass. :
Addison-Wesley,
c1970
|
| Gaiak: |
Antzeko izenburuak
-
Logic and proof
nork: Bittinger, Marvin L
Argitaratua: (1970) -
Introduction to mathematical proofs a transition
nork: Roberts, Charles E
Argitaratua: (2010) -
Applied proof theory proof interpretations and their use in mathematics
nork: Kohlenbach. U.
Argitaratua: (2008) -
Introduction to proof-reading
nork: Mallhi, N S
Argitaratua: (1994) -
Proof theory: First step into impradictivity.
nork: Pohlers, Wolfram
Argitaratua: (2009)