Tarski's Axioms: Euclidean Geometry, Elementary Theory, First-order Logic, Identity (mathematics), Set Formal System, Sentence (mathematical logic), Primitive Data Type
Pages: 116, Paperback, Betascript Publishers
Pages: 116, Paperback, Betascript Publishers