Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
Series details
Studies in logic and the foundations of mathematics
Publisher :
ISSN :
no ISSN
|
Available item(s) in this series
Refine your search Apply to external sources
A Deductive Theory of Space and Time / Saul A. BASRI
Title : A Deductive Theory of Space and Time Material Type: printed text Authors: Saul A. BASRI Publisher: Amsterdam : North-Holland publishing company Publication Date: 1966 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 7839 Languages : English (eng) Descriptors: Astronomija A Deductive Theory of Space and Time [printed text] / Saul A. BASRI . - Amsterdam : North-Holland publishing company, 1966. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 7839
Languages : English (eng)
Descriptors: Astronomija Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.751 17.751 $r non conforme -- fond fond u fondu
AvailableA Deductive Theory of Space and Time / Saul A. BASRI
Title : A Deductive Theory of Space and Time Material Type: printed text Authors: Saul A. BASRI Publisher: Amsterdam : North-Holland publishing company Publication Date: 1966 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 7605 Languages : English (eng) Descriptors: Astronomija A Deductive Theory of Space and Time [printed text] / Saul A. BASRI . - Amsterdam : North-Holland publishing company, 1966. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 7605
Languages : English (eng)
Descriptors: Astronomija Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.418 17.418 $r non conforme -- fond fond u fondu
AvailableEquivalents of the Axiom of Choice / Herman RUBIN
Title : Equivalents of the Axiom of Choice Material Type: printed text Authors: Herman RUBIN ; Jean E. Rubin Publisher: Amsterdam : North-Holland publishing company Publication Date: 1970 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 7806 Languages : English (eng) Descriptors: Matematika Equivalents of the Axiom of Choice [printed text] / Herman RUBIN ; Jean E. Rubin . - Amsterdam : North-Holland publishing company, 1970. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 7806
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.708 17.708 $r non conforme -- fond fond u fondu
AvailableFormal Systems and Recursive Functions / John N. CROSSLEY
Title : Formal Systems and Recursive Functions Material Type: printed text Authors: John N. CROSSLEY ; Michael A. E. Dummett Publisher: Amsterdam : North-Holland publishing company Publication Date: 1965 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 10684 Languages : English (eng) Descriptors: Matematika Formal Systems and Recursive Functions [printed text] / John N. CROSSLEY ; Michael A. E. Dummett . - Amsterdam : North-Holland publishing company, 1965. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 10684
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 12.813 12.813 $r non conforme -- fond fond u fondu
AvailableFoundations of Set Theory / Abraham A. FRAENKEL
Title : Foundations of Set Theory Material Type: printed text Authors: Abraham A. FRAENKEL ; Yehoshua Bar-Hillel ; Azriel Levy Publisher: Amsterdam : North-Holland publishing company Publication Date: 1973 Series: Studies in logic and the foundations of mathematics No. 67 General note: Pergam ID: MF 7802 Languages : English (eng) Descriptors: Matematika Foundations of Set Theory [printed text] / Abraham A. FRAENKEL ; Yehoshua Bar-Hillel ; Azriel Levy . - Amsterdam : North-Holland publishing company, 1973. - (Studies in logic and the foundations of mathematics; 67) .
Pergam ID: MF 7802
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.738 17.738 $r non conforme -- fond fond u fondu
AvailableIntuitionism: An Introduction / A. HEYTING
PermalinkIntuitionism and proof theory / Akiko KINO
PermalinkIntuitionsm and Proof Theory / CONFERENCE held at Buffalo (1970; Buffalo)
PermalinkLarge Infinitary Languages / Max A. DICKMANN
PermalinkLogic in Algebraic Form / William CRAIG
PermalinkLogic Colloquium 76 / CONFERENCE held in Oxford (1976; Oxford)
PermalinkLogic, Methodology and Philosophy of Science IV / CONGRESS for Logic, Methodology and Philosophy of Science (4; 1971; Bucharest)
PermalinkLogic, Methodology and Philosophy of Science / INTERNATIONAL Congress for Logic, Methodology and Philosophy of Science at the Hebrew University of Jerusalem (1964; Jerusalem)
PermalinkLogic, Methodology and Philosophy of Science / CONFERENCE held in Oxford (1968; Amsterdam)
PermalinkMathematical Logic and Foundations of Set Theory / INTERNATIONAL Colloquium held under the Auspices of the Israel Academy of sciences and Humanities (1968; Jerusalem)
Permalink