The Foundations of Intuitionistic Mathematics / Stephen Cole KLEENE

Public ISBD Title : The Foundations of Intuitionistic Mathematics Material Type: printed text Authors: Stephen Cole KLEENE ; Richard Eugene Vesley Publisher: Amsterdam : North Holland publishing company Publication Date: 1965 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 10673 Languages : English (eng) Descriptors: Matematika The Foundations of Intuitionistic Mathematics [printed text] / Stephen Cole KLEENE ; Richard Eugene Vesley . - Amsterdam : North Holland publishing company, 1965. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 10673 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

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

Introduction to Model Theory and to the Metamathematics of Algebra / Abraham Robinson

Public ISBD Title : Introduction to Model Theory and to the Metamathematics of Algebra Material Type: printed text Authors: Abraham Robinson Publisher: Amsterdam : North Holland publishing company Publication Date: 1963 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 10543 Languages : English (eng) Descriptors: Matematika Introduction to Model Theory and to the Metamathematics of Algebra [printed text] / Abraham Robinson . - Amsterdam : North Holland publishing company, 1963. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 10543 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

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

Lincos / Hans FREUDENTHAL

Public ISBD Title : Lincos : Design of a language for cosmic intercourse 1 Material Type: printed text Authors: Hans FREUDENTHAL Publisher: Amsterdam : North Holland publishing company Publication Date: 1960 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 12515 Languages : English (eng) Descriptors: Astronomija Lincos : Design of a language for cosmic intercourse 1 [printed text] / Hans FREUDENTHAL . - Amsterdam : North Holland publishing company, 1960. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 12515 Languages : English (eng) Descriptors: Astronomija

Hold

Place a hold on this item

Copies (1)

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

Logic colloquium '78 / Maurice BOFFA

Public ISBD Title : Logic colloquium '78 Material Type: printed text Authors: Maurice BOFFA ; Dirk Van Dalen ; Kenneth Mcaloon Publisher: Amsterdam : North Holland publishing company Publication Date: 1979 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 4210 Languages : English (eng) Descriptors: Matematika Logic colloquium '78 [printed text] / Maurice BOFFA ; Dirk Van Dalen ; Kenneth Mcaloon . - Amsterdam : North Holland publishing company, 1979. - (Studies in logic and the foundations of mathematics) . Pergam ID: MF 4210 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

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

---

1 (1 - 4 / 4)