Nonfiction | Computer & Technology
Basic Proof Theory
by A. S. Troelstra 2020-04-16 14:10:27
image1
COMPARE PRICE
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure... Read more
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. Less
  • File size
  • Print pages
  • Publisher
  • Publication date
  • Language
  • ISBN
  • 8.98x6.26x1.03inches
  • 432
  • Cambridge University Press
  • July 27, 2000
  • eng
  • 9781316044537
autor-image
A. S. Troelstra
Author
...
Compare Prices
image
Buy CAD 60.95
image
Paperback - Revised Ed.
Buy USD 59.99
image
Buy GBP 26.99
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
Type Theory and Formal Proof:
image1
Expanding and Networking Microcomputers:
image1
Privacy and Legal Issues in Cloud Computing:
image1
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:
image1
Microsoft SharePoint 2013 Step by Step:
image1
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:
image1
CISM Certified Information Security Manager All-in-One Exam Guide:
image1
Practical Monitoring:
image1
Drones For Dummies:
image1
LPIC-1:
image1
Make:
image1
Troubleshooting Cisco Nexus Switches and NX-OS:
image1
CompTIA Network+ Study Guide:
image1
Network Programmability and Automation:
image1
Moodle Gradebook:
image1
The Digital Filmmaking Handbook:
image1
Rapid Prototyping Software for Avionics Systems:
image1
Complex Analysis with MATHEMATICA®:
image1
Abstract Methods in Information Theory:
image1
MCSA SQL 2016 BI Development Exam Ref 2-pack:
image1
Topics at the Frontier of Statistics and Network Analysis:
image1
Windows Server 2012 R2 Pocket Consultant Volume 2:
image1
Windows 10 Bible:
image1
The Seismic Analysis Code:
image1
Python Programming for Arduino:

Stay in touch.

© 2024 AMPLE READS