EKB DL

Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 (Lecture Notes in Mathematics, 1130) | EKB DL

EKB DL

Home BookMethods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 (Lecture Notes in Mathematics, 1130)

Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 (Lecture Notes in Mathematics, 1130)

Keywords

LOGIC, SYMBOLIC AND MATHEMATICAL

1985Book

Author(s)Carlos Augusto Di Prisco

PublisherSpringer

ISBN9783540152361

LanguageEnglish

SpringerLink

Similar Books

Book

Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)

Book

Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77 (Lecture Notes in Mathematics, 689)

Book

Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics, 70)