Publication:5563359
From MaRDI portal
zbMath0175.00601MaRDI QIDQ5563359
Publication date: 1969
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03Exx: Set theory
Related Items
Unnamed Item, A Suppes predicate for general relativity and set-theoretically generic spacetimes, Relativity phenomena in set theory, Automatic theorem proving in set theory, Observation du mathématicien: Aide à l'enseignement et à la demonstration automatique de théoremes, A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets, Mathematical, philosophical and semantic considerations on infinity. I: General concepts, The Popescu-Gabriel theorem for triangulated categories, Unnamed Item