There are no comments on this title.
-
21
Logic, methodology and philosophy of science:
-
22
Intuitionism :
by Heyting, Arend, -
23
Equivalents of the axiom of choice /
by Rubin, Herman. -
24
Abstract set theory /
by Fraenkel, Abraham Adolf, -
25
Foundations of set theory /
by Fraenkel, Abraham Adolf, -
26
Introduction to model theory and to the metamathematics of algebra.
by Robinson, Abraham, -
27
Solvable cases of the decision problem /
by Ackermann, Wilhelm, -
28
Undecidable theoris /
by Tarski, Alfred. -
29
Recursive number theory :
by Goodstein, R. L. -
30
Classification theory and the number of non-isomorphic models /
by Shelah, Saharon. -
31
The lambda calculus :
by Barendregt, H. P. -
32
The lambda calculus :
by Barendregt, H. P. -
33
The lambda calculus :
by Barendregt, H. P. -
34
The lambda calculus :
by Barendregt, H. P. -
35
The lambda calculus :
by Barendregt, H. P. -
36
Contributions to mathematical logic.
Report of the United Nations Joint Inspection Unit on the Regional E ducational Building Institute for Africa :
APA
United Nations Joint Inspection Unit on the Regional Educational Bui lding Institute for Africa, . (1971). Report of the United Nations Joint Inspection Unit on the Regional E ducational Building Institute for Africa. Paris: UNESCO.
Chicago
United Nations Joint Inspection Unit on the Regional Educational Bui lding Institute for Africa, . 1971. Report of the United Nations Joint Inspection Unit on the Regional E ducational Building Institute for Africa. Paris: UNESCO.
Harvard
United Nations Joint Inspection Unit on the Regional Educational Bui lding Institute for Africa, . (1971). Report of the United Nations Joint Inspection Unit on the Regional E ducational Building Institute for Africa. Paris: UNESCO.
MLA
United Nations Joint Inspection Unit on the Regional Educational Bui lding Institute for Africa, . Report of the United Nations Joint Inspection Unit on the Regional E ducational Building Institute for Africa. Paris: UNESCO. 1971.
Text