Publication:5526081
From MaRDI portal
zbMath0148.00105MaRDI QIDQ5526081
No author found.
Publication date: 1960
00B25: Proceedings of conferences of miscellaneous specific interest
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Related Items
A generalization of Gödel's notion of constructibility, Process and truth-table characterisations of randomness, Constructive definition of certain analytic sets of numbers, Alfred Tarski's work in model theory