Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba.

zbMATH Open1103.03001MaRDI QIDQ5485945FDOQ5485945

Authors: Richard L. Epstein 

Publication date: 5 September 2006

Recommendations

• Classical mathematical logic.
• scientific article; zbMATH DE number 5306054
• scientific article; zbMATH DE number 1016911
• scientific article; zbMATH DE number 193061
• scientific article; zbMATH DE number 204999

zbMATH Keywords

classical logicformalization of mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Classical first-order logic (03B10) First-order arithmetic and fragments (03F30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Relative consistency and interpretations (03F25) Other applications of logic (03B80)

Cited In (15)

• Quantified temporal alethic boulesic doxastic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematical logic. Exercises and solutions
• Mathematics as the art of abstraction
• Doxastic logic: a new approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards an arithmetical logic. The arithmetical foundations of logic
• Mathematical logic. On numbers, sets, structures, and symmetry
• First-order reasoning and primitive recursive natural number notations
• Minimal change: relevance and recovery revisited
• Introduction
• First-order continuous induction and a logical study of real closed fields
• Elements of logical reasoning

This page was built for publication: Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba.

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