Prädikatenlogik mit partiell definierten Funktionen

DOI10.1007/BF01974146zbMath0215.04602OpenAlexW4252890870MaRDI QIDQ5617622

Werner Markwald

Publication date: 1971

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137846

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (3)

The non-definability notion and first order logic ⋮ Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras ⋮ Prädikatenlogik mit partiell definierten Funktionen II

Cites Work

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Prädikatenlogik mit partiell definierten Funktionen