Stock image for illustration purposes only - book cover, edition or condition may vary.
A Formalization of Set Theory without Variables, Vol. 41
Steven Givant Alfred Tarski
€ 115.04
FREE Delivery in Ireland
Description for A Formalization of Set Theory without Variables, Vol. 41
Paperback. Culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. This work shows that set theory and number theory can be developed within the framework of a new, different and simple equational formalism, closely related to the formalism of the theory of relation algebras. Series: Colloquium Publications. Num Pages: 318 pages. BIC Classification: PB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 251 x 170 x 16. Weight in Grams: 582.
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. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show ... Read more
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. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show ... Read more
Product Details
Format
Paperback
Publication date
1987
Publisher
American Mathematical Society
Condition
New
Series
Colloquium Publications
Number of Pages
318
Place of Publication
Providence, United States
ISBN
9780821810415
SKU
V9780821810415
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-1
Reviews for A Formalization of Set Theory without Variables, Vol. 41