scientific article
From MaRDI portal
Publication:3216156
zbMath0553.68052MaRDI QIDQ3216156
Patrick Suppes, James R. McDonald
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03E99)
Related Items
Set theory in first-order logic: Clauses for Gödel's axioms, Set theory for verification. II: Induction and recursion, An interactive calculus theorem-prover for continuity properties, NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF, Set theory for verification. I: From foundations to functions
