Conference in mathematical logic, London 1970
From MaRDI portal
Publication:2549314
DOI10.1007/BFb0059533zbMath0227.02001MaRDI QIDQ2549314
No author found.
Publication date: 1972
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
00B25: Proceedings of conferences of miscellaneous specific interest
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Related Items
The theory of the recursively enumerable weak truth-table degrees is undecidable, Some results in modal model theory
