Main Category: Mathematics >> Sub Category: Logic
Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures

Philosophy of Mathematics is an excellent introductory text. This student friendly book discusses the great philosophers and the importance of mathematics to their thought. It includes the following topics: the mathematical image, platonism, picture-proofs, applied mathematics, Hilbert and Godel, knots and nations, definitions, picture-proofs and Wittgenstein, computation, proof and conjecture. The book is ideal for courses on philosophy of mathematics and logic.     

Author Name :James Robert Brown

No Of Visit :205      Posted Comments :

Mathematical Logic and Model Theory

Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. As a profound application of model theory in algebra, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields. The character of model theoretic constructions and results differ quite significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic. Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4). This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for self-study.     

Author Name :Alexander Prestel, Charles N. Delzell

No Of Visit :610      Posted Comments :

The Power of Logic fourth edition

This brief and flexible introductory level text is designed to illustrate the power of logic as a tool for critical thinking in various facets of life by increasing students' ability to understand, analyze, evaluate, and construct arguments. The Power of Logic provides balanced coverage of informal logic, traditional categorical logic, and modern symbolic logic. The authors' direct and accessible writing style, along with a wealth of relevant examples and imaginative exercises, make this an ideal text for today's logic classes.     

Author Name :Frances Howard-Snyder, Daniel Howard-Snyder, Ryan Wasserman

No Of Visit :578      Posted Comments :


Arts & Humanities


Social Science


Engineering & Technology

Business & Finance

Media & Entertainment

Sports & Games

General Knowledge

Business Admin and Management


Travel & Adventure

Society, Entertainment & Lifestyle