scientific article; zbMATH DE number 3186865
From MaRDI portal
Publication:5723177
zbMath0115.00503MaRDI QIDQ5723177
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe ⋮ Eine Art von Gleichwertigkeit Zahlentheoretischer und Mengentheoretischer Axiomensysteme ⋮ Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen ⋮ Prädikatenlogik mit partiell definierten Funktionen ⋮ Modelltheoretische Untersuchungen in der Kripke-Semantik ⋮ Ganzgeschlossene und prädikatengeschlossene Logiken I ⋮ Metamathematische Begriffe in Standardtheorien ⋮ Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen ⋮ Überfür-fast-alle-Quantoren ⋮ A calculus for finitely satisfiable formulas with identity ⋮ A survey of nonstandard sequent calculi ⋮ Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras ⋮ Prädikatenlogik mit partiell definierten Funktionen II
This page was built for publication:
