scientific article; zbMATH DE number 978993
From MaRDI portal
Publication:4332919
zbMath0874.03002MaRDI QIDQ4332919
Publication date: 18 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantification theoryset theorycompleteness theoremclassical logicrecursion theoryGödel's incompleteness theoremsaxiomatic set theoryZermelo-FraenkelSkolem's paradoxlimitative results
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03Exx)
Related Items (8)
Analysis and its discontents: nonlinearity and the way things aren't ⋮ Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ Bases for structures and theories. I. ⋮ Criteria of theoreticity: bridging statement and non-statement view ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ Variations on a Montagovian theme ⋮ The concept of truth in a finite universe ⋮ Are logical languages compositional?
This page was built for publication:
