Abstract Set Theory / Abraham A. FRAENKEL

Public ISBD Title : Abstract Set Theory Material Type: printed text Authors: Abraham A. FRAENKEL Publisher: Amsterdam : North-Holland publishing company Publication Date: 1953 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 14666 Languages : English (eng) Abstract Set Theory [printed text] / Abraham A. FRAENKEL . - Amsterdam : North-Holland publishing company, 1953. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 14666 Languages : English (eng)

Hold

Place a hold on this item

Copies

Barcode	Call number	Media type	Location	Section	Status
No copy

Combinatory logic / Haskell B. CURRY

Public ISBD Title : Combinatory logic : I Material Type: printed text Authors: Haskell B. CURRY ; Robert Feys Publisher: Amsterdam : North-Holland publishing company Publication Date: 1958 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 14337 Languages : English (eng) Combinatory logic : I [printed text] / Haskell B. CURRY ; Robert Feys . - Amsterdam : North-Holland publishing company, 1958. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 14337 Languages : English (eng)

Hold

Place a hold on this item

Copies

Barcode	Call number	Media type	Location	Section	Status
No copy

Formal Systems and Recursive Functions / John N. CROSSLEY

Public ISBD 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) 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)

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 Available

Problems in the Philosophy of Mathematics / INTERNATIONAL Colloquium in the Philosophy of Science (1965; London)

Public ISBD Title : Problems in the Philosophy of Mathematics : Proceedings Material Type: printed text Authors: INTERNATIONAL Colloquium in the Philosophy of Science (1965; London) ; Imre LAKATOS Publisher: Amsterdam : North-Holland publishing company Publication Date: 1972 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 8291 Languages : English (eng) Problems in the Philosophy of Mathematics : Proceedings [printed text] / INTERNATIONAL Colloquium in the Philosophy of Science (1965; London) ; Imre LAKATOS . - Amsterdam : North-Holland publishing company, 1972. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 8291 Languages : English (eng)

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
16.964	16.964	$r non conforme --	fond	fond	u fondu Available

Logic, Methodology and Philosophy of Science IV / CONGRESS for Logic, Methodology and Philosophy of Science (4; 1971; Bucharest)

Public ISBD Title : Logic, Methodology and Philosophy of Science IV : Proceediings of the Fourth International Congress for Logic, Methodology and Philosophy of Science Material Type: printed text Authors: CONGRESS for Logic, Methodology and Philosophy of Science (4; 1971; Bucharest) Publisher: Amsterdam : North-Holland publishing company Publication Date: 1973 Series: Studies in logic and the foundations of mathematics No. Volume 74 General note: Pergam ID: MF 7987 Languages : English (eng) Descriptors: Matematika Logic, Methodology and Philosophy of Science IV : Proceediings of the Fourth International Congress for Logic, Methodology and Philosophy of Science [printed text] / CONGRESS for Logic, Methodology and Philosophy of Science (4; 1971; Bucharest) . - Amsterdam : North-Holland publishing company, 1973. - (Studies in logic and the foundations of mathematics; Volume 74) . Pergam ID: MF 7987 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
18.155	18.155	$r non conforme --	fond	fond	u fondu Available

Logic, Methodology and Philosophy of Science / INTERNATIONAL Congress for Logic, Methodology and Philosophy of Science at the Hebrew University of Jerusalem (1964; Jerusalem)

Permalink

Mathematical Logic and Foundations of Set Theory / INTERNATIONAL Colloquium held under the Auspices of the Israel Academy of sciences and Humanities (1968; Jerusalem)

Permalink

Models and Ultraproducts: An Introduction / John L. BELL

Permalink

Constructive Order Types / John N. CROSSLEY

Permalink

Ancient Formal Logic / Innocentius Marie BOCHENSKI

Permalink

Intuitionism: An Introduction / A. HEYTING

Permalink

The Collected Papers of Gerhard Gentzen / Gerhard GENTZEN

Permalink

The Problem of Inductive Logic / COLLOQUIUM held in London (1968; London)

Permalink

Aspects of Inductive Logic / Jaakko HINTIKKA ; Patrick SUPPES

Permalink

Cylindric Algebras / Leon Henkin

Permalink

---

1 2 3 4 (1 - 15 / 48) Per page : 25 Display all