Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
Publisher details
Available items(s) from this publisher
Refine your search Apply to external sources
Intuitionism: An Introduction / A. HEYTING
Title : Intuitionism: An Introduction Material Type: printed text Authors: A. HEYTING Publisher: Amsterdam : North-Holland publishing company Publication Date: 1971 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 7837 Languages : English (eng) Descriptors: Matematika Intuitionism: An Introduction [printed text] / A. HEYTING . - Amsterdam : North-Holland publishing company, 1971. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 7837
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.753 17.753 $r non conforme -- fond fond u fondu
AvailableIntuitionism and proof theory / Akiko KINO
Title : Intuitionism and proof theory Material Type: printed text Authors: Akiko KINO ; John Myhill ; Richard Eugene Vesley Publisher: Amsterdam : North-Holland publishing company Publication Date: 1970 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 5936 Languages : English (eng) Descriptors: Matematika Intuitionism and proof theory [printed text] / Akiko KINO ; John Myhill ; Richard Eugene Vesley . - Amsterdam : North-Holland publishing company, 1970. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 5936
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 20.692 20.692 $r non conforme -- fond fond u fondu
AvailableIntuitionsm and Proof Theory / CONFERENCE held at Buffalo (1970; Buffalo)
Title : Intuitionsm and Proof Theory : Proceedings of the summer conference at Buffalo N.Y. 1968 Material Type: printed text Authors: CONFERENCE held at Buffalo (1970; Buffalo) Publisher: Amsterdam : North-Holland publishing company Publication Date: 1970 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 7818 Languages : English (eng) Descriptors: Matematika Intuitionsm and Proof Theory : Proceedings of the summer conference at Buffalo N.Y. 1968 [printed text] / CONFERENCE held at Buffalo (1970; Buffalo) . - Amsterdam : North-Holland publishing company, 1970. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 7818
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.735 17.735 $r non conforme -- fond fond u fondu
AvailableLarge Infinitary Languages / Max A. DICKMANN
Title : Large Infinitary Languages : Model Theory Material Type: printed text Authors: Max A. DICKMANN Publisher: Amsterdam : North-Holland publishing company Publication Date: 1975 Series: Studies in logic and the foundations of mathematics No. 83 General note: Pergam ID: MF 5824 Languages : English (eng) Descriptors: Matematika Large Infinitary Languages : Model Theory [printed text] / Max A. DICKMANN . - Amsterdam : North-Holland publishing company, 1975. - (Studies in logic and the foundations of mathematics; 83) .
Pergam ID: MF 5824
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 19.849 19.849 $r non conforme -- fond fond u fondu
AvailableLife Science and Space Research II / M. FLORKIN
Title : Life Science and Space Research II Material Type: printed text Authors: M. FLORKIN Publisher: Amsterdam : North-Holland publishing company Publication Date: 1963 General note: Pergam ID: MF 16220 Languages : English (eng) Descriptors: Astronomija Class number: 520 Life Science and Space Research II [printed text] / M. FLORKIN . - Amsterdam : North-Holland publishing company, 1963.
Pergam ID: MF 16220
Languages : English (eng)
Descriptors: Astronomija Class number: 520 Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 12.658 12.658 $r non conforme -- fond fond u fondu
AvailableLocally Compact Semi-Algebras with Applications to Spectral Theory of Positive Operators / Rien KAASHOEK
PermalinkLocally Compact Semi-Algebras with Applications to Spectral Theory of Positive Operators / Rien KAASHOEK
PermalinkLocally Finite Groups / Otto H. KEGEL
PermalinkLogic in Algebraic Form / William CRAIG
PermalinkLogic Colloquium 76 / CONFERENCE held in Oxford (1976; Oxford)
PermalinkLOGIC Colloquium '77 / COLLOQUIUM in Logic (1977; Wroclaw)
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 Formalized Theories / Robert ROGERS
Permalink