Logic colloquium '95, Haifa, Israel, August 13--16, 1995. Selected papers based on invited talks at the special sessions in recursion theory at the summer meeting of the Association for Symbolic Logic (ASL), August 9--17, 1995

zbMath0878.00047MaRDI QIDQ1368586

No author found.

Publication date: 7 December 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

ProceedingsSpecial issueLogicColloquiumHaifa (Israel)Recursion theoryAssociation for Symbolic Logic (ASL)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

This page was built for publication: Logic colloquium '95, Haifa, Israel, August 13--16, 1995. Selected papers based on invited talks at the special sessions in recursion theory at the summer meeting of the Association for Symbolic Logic (ASL), August 9--17, 1995