scientific article; zbMATH DE number 1005108

MaRDI QIDQ4335385zbMATH OpenFDO

Authors Paul Ruppen

Publication date 28 April 1997

zbMATH Keywords

axiomatic systemmetalogicnatural deductionnatural numberspredicate logicpropositional logicsemanticsset theorytextbook

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 977290
• An introduction to formal logic
• scientific article; zbMATH DE number 1278449

Cited in

(7)

• Logik
• scientific article; zbMATH DE number 1249683 (Why is no real title available?)
• scientific article; zbMATH DE number 977290 (Why is no real title available?)
• Fathoming formal logic. Vol. I: Theory and decision procedures for propositional logic
• Fathoming formal logic. Vol. II: Semantics and proof theory for predicate logic
• scientific article; zbMATH DE number 194770 (Why is no real title available?)
• scientific article; zbMATH DE number 3204592 (Why is no real title available?)

This page was built for publication:

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