Mathematical Logic, Hardback Book

Description

This graduate level text on first-order logic highlights the importance of this area as well as the abundance of results and some applications.

The best-known of textbooks originated in an earlier era, and despite frequent updating by their authors, they reflect a general view and a particular approach that is less adequate today.

The addition of "metatheory" clarifies that this is not a textbook in which the emphasis is on the basics such as formalizing English sentences and learning the use of one or another calculus.

This textbook takes a fresh look at the current state of first-order logic, and integrates newer results with a reevaluated stock of earlier ones.

Information

  • Format: Hardback
  • Pages: 272 pages, 35 Illustrations, black and white
  • Publisher: Taylor & Francis Inc
  • Publication Date:
  • Category: Mathematical logic
  • ISBN: 9781498744133

£57.99

£51.49

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Also in the Textbooks in Mathematics series   |  View all