Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
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 Transfinite Type theory with Type Variables / Peter B. ANDREWS
Title : A Transfinite Type theory with Type Variables Material Type: printed text Authors: Peter B. ANDREWS Publisher: Amsterdam : North-Holland publishing company Publication Date: 1965 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 7813 Languages : English (eng) Descriptors: Matematika A Transfinite Type theory with Type Variables [printed text] / Peter B. ANDREWS . - Amsterdam : North-Holland publishing company, 1965. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 7813
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.732 17.732 $r non conforme -- fond fond u fondu
AvailableUndecidable Theories / Alfred TARSKI
Title : Undecidable Theories Material Type: printed text Authors: Alfred TARSKI Publisher: Amsterdam : North-Holland publishing company Publication Date: 1971 Series: Studies in logic and the foundations of mathematics General note: Pergam ID: MF 7809 Languages : English (eng) Descriptors: Matematika Undecidable Theories [printed text] / Alfred TARSKI . - Amsterdam : North-Holland publishing company, 1971. - (Studies in logic and the foundations of mathematics) .
Pergam ID: MF 7809
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.709 17.709 $r non conforme -- fond fond u fondu
AvailableWord Problems / William W. BOONE
Title : Word Problems : Decision Problems and the Burnside Problem in Group Theory Material Type: printed text Authors: William W. BOONE ; Frank B. Cannonito ; Roger C. LYNDON Publisher: Amsterdam : North-Holland publishing company Publication Date: 1973 Series: Studies in logic and the foundations of mathematics No. Volume 71 General note: Pergam ID: MF 7737 Languages : English (eng) Descriptors: Matematika Word Problems : Decision Problems and the Burnside Problem in Group Theory [printed text] / William W. BOONE ; Frank B. Cannonito ; Roger C. LYNDON . - Amsterdam : North-Holland publishing company, 1973. - (Studies in logic and the foundations of mathematics; Volume 71) .
Pergam ID: MF 7737
Languages : English (eng)
Descriptors: Matematika Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status 17.611 17.611 $r non conforme -- fond fond u fondu
Available