scientific article; zbMATH DE number 3076636
From MaRDI portal
Publication:5815606
zbMath0049.00702MaRDI QIDQ5815606
No author found.
Publication date: 1952
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Why Horn formulas matter in computer science: initial structures and generic examples ⋮ Leon Henkin the Reviewer ⋮ Inductive definitions over finite structures ⋮ What languages have Tarski truth definitions? ⋮ Descriptive characterizations of computational complexity ⋮ What is a logical theory? On theories containing assertions and denials ⋮ A Topological-algebraic Approach to the Compactness Theorem of Classical Logic ⋮ Andrzej Mostowski and the Notion of a Model ⋮ On the universal completeness of classes of relational systems ⋮ Some characterizations of finitely specifiable implicational dependency families ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Lefschetz's principle ⋮ Unifying threads in Alfred Tarski's work ⋮ Unnamed Item
This page was built for publication:
