A formal background to mathematics. Ia, Ib: Logic, sets and numbers

zbMath0413.03001MaRDI QIDQ1260016

R. E. Edwards

Publication date: 1979

Published in: Universitext (Search for Journal in Brave)

zbMATH Keywords

orderset theorylogicfunctions on the real numbersgeneral mathematical systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematics in general (00A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Related Items (2)

An axiomatic basis of space-time theory. I: Construction of a causal space with coordinates ⋮ Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics

This page was built for publication: A formal background to mathematics. Ia, Ib: Logic, sets and numbers