The research of Jaskowski on decidability theory of first order sentences

DOI10.1007/BF02123387zbMath0315.02044OpenAlexW2086847731MaRDI QIDQ1220925

Bogdan Sabalski, Ryszard Kopiecki, Gerald Waligora

Publication date: 1975

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02123387

Mathematics Subject Classification ID

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

Related Items (1)

The research of Jaskowski on decidability theory of first order sentences

Cites Work

• The research of Jaskowski on decidability theory of first order sentences
• Undecidability of first order sentences in the theory of free groupoids
• Untersuchungen über das Entscheidunsproblem des mathematischen Logik
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The research of Jaskowski on decidability theory of first order sentences