Prädikatenlogik mit partiell definierten Funktionen II

DOI10.1007/BF02025115zbMATH Open0289.02012OpenAlexW2016878129MaRDI QIDQ4777259FDOQ4777259

Authors: Werner Markwald 

Publication date: 1974

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

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
• Prädikatenlogik mit partiell definierten Funktionen
• Title not available (Why is that?)

Cited In (1)

• The non-definability notion and first order logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4777259)