scientific article; zbMATH DE number 1005108

zbMATH Open0870.03001MaRDI QIDQ4335385FDOQ4335385

Authors: Paul Ruppen 

Publication date: 28 April 1997

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

semanticsnatural deductiontextbookpredicate logicset theorypropositional logicmetalogicaxiomatic systemnatural numbers

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Fathoming formal logic. Vol. II: Semantics and proof theory for predicate logic
• Fathoming formal logic. Vol. I: Theory and decision procedures for propositional logic

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)