Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba.
From MaRDI portal
Publication:5485945
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)
Recommendations
Cited in
(15)- scientific article; zbMATH DE number 45458 (Why is no real title available?)
- Quantified temporal alethic boulesic doxastic logic
- First-order continuous induction and a logical study of real closed fields
- scientific article; zbMATH DE number 4027416 (Why is no real title available?)
- scientific article; zbMATH DE number 1526720 (Why is no real title available?)
- First-order reasoning and primitive recursive natural number notations
- scientific article; zbMATH DE number 204999 (Why is no real title available?)
- Towards an arithmetical logic. The arithmetical foundations of logic
- Introduction
- Elements of logical reasoning
- Minimal change: relevance and recovery revisited
- Mathematical logic. Exercises and solutions
- Doxastic logic: a new approach
- Mathematical logic. On numbers, sets, structures, and symmetry
- Mathematics as the art of abstraction
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)
