A Formalization Of Set Theory Without Variables
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Authors | Alfred Tarski |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2071719 |
About A Formalization Of Set Theory Without Variables
Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. . . .