عنوان

Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990

پدید آورنده

edited by Juha Oikkonen, Jouko Vaananen

موضوع

Congresses ، Logic, Symbolic and mathematical

رده

QA

9
.
A1L44

Vol
.
2

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990

1990 : Helsinki, Finland

Natick, Mass.

Association for Symbolic Logic

c1993

]ix[, 305 p.: ill

Lecture notes in logic; 2

Originally published : ]Berlin?[ : Springer-Verlag, 1993.

Includes bibliographies

ISBN: 1568811322

edited by Juha Oikkonen, Jouko Vaananen

Congresses ، Logic, Symbolic and mathematical

A1L44

Vol

AU Oikkonen, Juha, 1951-

AU Vaananen, Jouko, 1950-

CO Association for Symbolic Logic

Logic colloquium

عنوان Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990

پدید آورنده edited by Juha Oikkonen, Jouko Vaananen

موضوع Congresses ، Logic, Symbolic and mathematical

رده QA 9 .A1L44 Vol.2