scientific article; zbMATH DE number 3079563
From MaRDI portal
Publication:5818467
zbMath0050.24601MaRDI QIDQ5818467
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (11)
On the Ehrenfeucht-Fraïssé game in theoretical computer science ⋮ Independence-friendly logic and axiomatic set theory ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Counterfactuals without possible worlds ⋮ Report: an examination of a decision procedure ⋮ First-order logic and first-order functions ⋮ On Expressive Power of Regular Expressions over Infinite Orders ⋮ Application of inductive logic to the analysis of construct validity ⋮ Unnamed Item ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Super models
This page was built for publication:
