Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe

DOI10.1002/malq.19550010103zbMath0064.01101OpenAlexW2032523632MaRDI QIDQ5847179

Günter Asser

Publication date: 1955

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19550010103

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (2)

Leon Henkin the Reviewer ⋮ Günter Asser (1926–2015)

This page was built for publication: Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe