Related Books

A Formalization of Set Theory without Variables
Language: en
Pages: 342
Authors: Alfred Tarski
Categories: Mathematics
Type: BOOK - Published: 1987 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

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
Dictionary of Modern American Philosophers
Language: en
Pages: 2759
Authors: John R. Shook
Categories: Philosophy
Type: BOOK - Published: 2005-01-01 - Publisher: A&C Black

DOWNLOAD EBOOK

The Dictionary of Modern American Philosophers includes both academic and non-academic philosophers, anda large number of female and minority thinkers whose wor
Logic from Russell to Church
Language: en
Pages: 1069
Authors: Dov M. Gabbay
Categories: Mathematics
Type: BOOK - Published: 2009-06-16 - Publisher: Elsevier

DOWNLOAD EBOOK

This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th
Proceedings
Language: en
Pages: 522
Authors: Leon Henkin
Categories: Mathematics
Type: BOOK - Published: 1974 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

Computer Science Logic
Language: en
Pages: 564
Authors: Leszek Pacholski
Categories: Computers
Type: BOOK - Published: 1995-07-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94