scientific article; zbMATH DE number 3074067
From MaRDI portal
zbMath0047.25001MaRDI QIDQ5813180
Publication date: 1952
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe, The appropriateness of predicate invention as bias shift operation in ILP, Indexed systems of sequents and cut-elimination, On the possibility of inference to the best explanation, Dependence of variables construed as an atomic formula, Some Universal Sets of Terms, Introducing new predicates to model scientific revolution, ON A QUESTION OF KRAJEWSKI’S, The Undecidability of the Domino Problem, Resplendent models and \({\Sigma_1^1}\)-definability with an oracle, Some applications of Henkin quantifiers, Unnamed Item, Interpolation theorems for intuitionistic predicate logic, The road to two theorems of logic, Which data types have \(\omega\)-complete initial algebra specifications?, La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
