scientific article; zbMATH DE number 3238610
From MaRDI portal
Publication:5526081
zbMath0148.00105MaRDI QIDQ5526081
No author found.
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Alfred Tarski's work in model theory, An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem, Constructive definition of certain analytic sets of numbers, Banishing Ultrafilters from Our Consciousness, A generalization of Gödel's notion of constructibility, Process and truth-table characterisations of randomness
