Introduction to Mathematical Logic

By: Agustin Willmott (Editor)

Write A Review

Hardcover | 20 June 2019

At a Glance

Hardcover
228 Pages

Dimensions(cm)
27.64 x 20.32 x 1.42

Hardcover

$300.99

or 4 interest-free payments of $75.25 with

or

Ships in 5 to 10 business days

Mathematical logic is a subfield of mathematics that is concerned with the application of formal logic to mathematics. It is closely associated with the foundations of mathematics, metamathematics and theoretical computer science. The study of the deductive power of formal proof systems and the expressive power of formal systems are the unifying themes in mathematical logic. Set theory, recursion theory, proof theory and model theory are the primary subfields in mathematical logic. Each of these fields has a distinct focus. The systems of propositional logic and first-order logic are widely explored for application in the foundations of mathematics. The classical logic systems such as second-order logic or infinitary logic and nonclassical logic systems such as intuitionistic logic are also studied in this field. This book provides comprehensive insights into the field of mathematical logic. It presents the complex subject of mathematical logic in the most comprehensible and easy to understand language. In this book, constant effort has been made to make the understanding of the difficult concepts as easy and informative as possible, for the readers.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.