Nonfiction | Computer & Technology

Basic Proof Theory

by A. S. Troelstra

2020-04-16 17:40:27

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

Book Details

File size8.98x6.26x1.03inches
Print pages432
PublisherCambridge University Press
Publication date July 27, 2000
Languageeng
ISBN9781316044537
autor-image
A. S. Troelstra
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 60.95
BOOKSAMILLION.COM In Stock Paperback - Revised Ed. Paperback - Revised Ed. Buy USD 59.99
eBooks.com In Stock Buy GBP 26.99
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 60.95
BOOKSAMILLION.COMIn Stock
Format
Paperback - Revised Ed.
Condition
Paperback - Revised Ed.
Buy USD 59.99
eBooks.comIn Stock
Format
Condition
Buy GBP 26.99
Available Discount
No Discount available

Related Books

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

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS