Explain Mathematical Logic
Download Explain Mathematical Logic PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Explain Mathematical Logic book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Mathematical Logic
Author: H.-D. Ebbinghaus
language: en
Publisher: Springer Science & Business Media
Release Date: 1996-11-15
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
What Is Mathematical Logic?
Author: J. N. Crossley
language: en
Publisher: Courier Corporation
Release Date: 2012-08-29
A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg, Dirac, and others. 1972 edition.