pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: BASIC PROOF THEORY
By: A. S. Troelstra, Helmut Schwichtenberg, C. J. Van Rijsbergen
Format: Paperback

List price: £44.99
Our price: £40.49
Discount:
10% off
You save: £4.50
ISBN 10: 0521779111
ISBN 13: 9780521779111
Availability: Usually dispatched within 3-5 days.
 Delivery rates
Stock: Currently 2 available
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 27 July, 2000
Edition: 2nd Revised edition
Series: Cambridge Tracts in Theoretical Computer Science No.43
Pages: 432
Description: Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Synopsis: This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. 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. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Illustrations: 3 b/w illus. 201 exercises
Publication: UK
Imprint: Cambridge University Press
Returns: Returnable
Some other items by this author:
ACTION SEMANTICS (PB)
ADVANCES IN INFORMATION RETRIEVAL (PB)
ALGORITHMIC INFORMATION THEORY (PB)
APPLICATIONS OF PROCESS ALGEBRA (PB)
BASIC PROOF THEORY
BASIC PROOF THEORY (HB)
BASIC PROOF THEORY (PB)
BASIC SIMPLE TYPE THEORY (HB)
BELIEF REVISION (PB)
COMPUTATIONAL LOGIC (HB)
COMPUTATIONAL LOGIC (PB)
COMPUTER SCIENCE LOGIC (PB)
COMPUTING SCIENCE IN THE UNIVERSITY OF GLASGOW (PB)
CONSTRUCTIVISM IN MATHEMATICS (PB)
CONSTRUCTIVISM IN MATHEMATICS, VOL 1 (HB)
CONSTRUCTIVISM IN MATHEMATICS, VOL 2 (HB)
DOMAINS AND LAMBDA CALCULI (HB)
EPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE (PB)
EXTENSIONS OF FIRST-ORDER LOGIC (PB)
FORMAL SEMANTICS AND PRAGMATICS FOR NATURAL LANGUAGE QUERYING (PB)
FORMAL SPECIFICATION AND DESIGN (PB)
FREE CHOICE PETRI NETS (PB)
INFORMATION FLOW (HB)
LECTURES ON LINEAR LOGIC (HB)
LECTURES ON LINEAR LOGIC (PB)
LOGIC AND ALGEBRA OF SPECIFICATION (HB)
LOGIC AND ALGEBRA OF SPECIFICATION (PB)
LOGIC AND COMPUTATION (PB)
LOGIC OF COMPUTATION (HB)
LOGIC OF COMPUTATION (PB)
METAMATHEMATICS, MACHINES AND GODEL'S PROOF (PB)
NETS, TERMS AND FORMULAS (PB)
PREDICATETRANSFORMER SEMANTICS (PB)
PRINCIPLES OF INTUITIONISM (PB)
PROGRAMS, RECURSION AND UNBOUNDED CHOICE (PB)
PROOF AND COMPUTATION (HB)
PROOF AND COMPUTATION (PB)
PROOF AND SYSTEM-RELIABILITY (HB)
PROOF AND SYSTEM-RELIABILITY (PB)
PROOF TECHNOLOGY AND COMPUTATION (HB)
PROOFS AND COMPUTATIONS
PROOFS AND COMPUTATIONS (HB)
SIGIR '94 (PB)
THE GEOMETRY OF INFORMATION RETRIEVAL
THE GEOMETRY OF INFORMATION RETRIEVAL (HB)
THE LOGIC OF TYPED FEATURE STRUCTURES (PB)
THEORETICAL FOUNDATIONS OF VLSI DESIGN (PB)
TOPOLOGY VIA LOGIC (PB)
TWO-LEVEL FUNCTIONAL LANGUAGES (PB)
UPDATING LOGICAL DATABASES (PB)

TOP SELLERS IN THIS CATEGORY
Computational Physics (Paperback)
Wiley-VCH Verlag GmbH
Our Price : £74.25
more details
Discrete Mathematics (Paperback)
Oxford University Press
Our Price : £54.90
more details
Foundation Mathematics (Paperback)
Palgrave Macmillan
Our Price : £59.99
more details
Basic Elements of Computational Statistics (Hardback)
Springer International Publishing AG
Our Price : £43.99
more details
A Dictionary of Computer Science (Paperback)
Oxford University Press
Our Price : £10.21
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing
 mathematical theory of computation


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket