Logic and algorithmic : an international symposium held in honour of Ernst Specker

Logic and algorithmic : an international symposium held in honour of Ernst Specker

Bibliographic Details
Other Authors:	Specker, Ernst, 1920-
Format:	Book
Language:	English German French
Published:	Genève : L'Enseignement mathématique, Université de Genève, [1982], ©1982 Genève : L'Enseignement Mathématique, Université de Genève, c1982 Genève : L'Enseignement mathématique, Université de Genève, 1982 Genève : c1982 [s.l.] : c1982 Genève : c1982
Series:	Monographie ... de l'Enseignement mathématique ; no 30 Monographie ... de l'Enseignement mathématique no 30 Monographie ... de l'Enseignement mathématique no. 30 Monographie ... de l'Enseignement mathématique ; no 30 Monographie ... de l'Enseignement mathématique ; no. 30 Monographie ... de l'Enseignement mathématique no 30
Subjects:	Specker, Ernst, > 1920- Specker, Ernest Algebraic logic > Congresses Algorithms > Congresses Algorithms Logic > Congresses Logic, Symbolic and mathematical

Internet

Stanford University

Holdings details from Stanford University
Call Number:	QA1 .L57

Yale University

Holdings details from Yale University
Call Number:	Fest Sp31L Specker

University of Chicago

Holdings details from University of Chicago
Call Number:	QA1.M84 no.30 QA9.2.L630 1982

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA9.2.L63 1982

Harvard University

Holdings details from Harvard University
Call Number:	QA10 .L6

Duke University

Holdings details from Duke University
Call Number:	511.3 L832, 1982

Cornell University

Holdings details from Cornell University
Call Number:	QA1 .E51 no.30

Columbia University

Holdings details from Columbia University
Call Number:	QA9.2 .L63 1982

Brown University

Holdings details from Brown University
Call Number:	BC6 .L57x