Proof theory /
Κύριος συγγραφέας: | Takeuti, Gaisi 1926- (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1975.
|
Σειρά: | Studies in logic and the foundations of mathematics
81. |
Θέματα: |
Παρόμοια τεκμήρια
-
Basic proof theory /
ανά: Troelstra, A. S. (Anne Sjerp)
Έκδοση: (2000) -
Basic proof theory /
ανά: Troelstra, A. S. (Anne Sjerp)
Έκδοση: (1996) -
Proof theory and intuitionistic systems /
ανά: Scarpellini, Bruno
Έκδοση: (1971) -
The structure of proof : with logic and set theory /
ανά: O'Leary, Michael L.
Έκδοση: (2002) -
Algebra of proofs /
ανά: Szabo, M. E.
Έκδοση: (1978)