scientific article; zbMATH DE number 5051513

zbMath1103.03001MaRDI QIDQ5485945

Richard L. Epstein

Publication date: 5 September 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

classical logicformalization of mathematics

Mathematics Subject Classification ID

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

Related Items (7)

Quantified temporal alethic boulesic doxastic logic ⋮ Mathematics as the Art of Abstraction ⋮ Introduction ⋮ Minimal change: relevance and recovery revisited ⋮ Doxastic logic: a new approach ⋮ First-order reasoning and primitive recursive natural number notations ⋮ First-order continuous induction and a logical study of real closed fields

This page was built for publication: