scientific article

zbMath0489.03002MaRDI QIDQ3950538

R. R. Stoll

Publication date: 1979

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

zbMATH Keywords

predicate calculusalgebraic theoriesfirst-order theoriesreal numbersZermelo-Fraenkel set theoryPeano axiomsinformal axiomatic set theoryinformal axiomatic theoriesstatement calculus

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05) Other classical set theory (including functions, relations, and set algebra) (03E20) Ordinal and cardinal numbers (03E10) Set theory (03Exx)

Related Items (7)

Constructing the real numbers in HOL ⋮ Unnamed Item ⋮ On the double-critical graph conjecture ⋮ \(p\)-adic representation of subsets of a bounded number set ⋮ Membership-dependent stability conditions for type-1 and interval type-2 T-S fuzzy systems ⋮ The Erdős–Faber–Lovász conjecture for the class of δEFL graphs ⋮ Relational semantics for Kleene logic and action logic

This page was built for publication: