Á lódáil...
Logic and Proof/
| Príomhúdar: | Bittinger, Marvin L. |
|---|---|
| Formáid: | Printed Book |
| Teanga: | English |
| Foilsithe: |
Reading, Mass. :
Addison-Wesley,
c1970
|
| Ábhair: |
Míreanna Comhchosúla
-
Logic and proof
le: Bittinger, Marvin L
Foilsithe: (1970) -
Introduction to mathematical proofs a transition
le: Roberts, Charles E
Foilsithe: (2010) -
Applied proof theory proof interpretations and their use in mathematics
le: Kohlenbach. U.
Foilsithe: (2008) -
Introduction to proof-reading
le: Mallhi, N S
Foilsithe: (1994) -
Proof theory: First step into impradictivity.
le: Pohlers, Wolfram
Foilsithe: (2009)