0
Your cart

Your cart is empty

Books > Humanities > Philosophy > Topics in philosophy > Logic

Buy Now

Goal-Directed Proof Theory (Hardcover, 2000 ed.) Loot Price: R2,949
Discovery Miles 29 490
Goal-Directed Proof Theory (Hardcover, 2000 ed.): Dov M. Gabbay, N. Olivetti

Goal-Directed Proof Theory (Hardcover, 2000 ed.)

Dov M. Gabbay, N. Olivetti

Series: Applied Logic Series, 21

 (sign in to rate)
Loot Price R2,949 Discovery Miles 29 490 | Repayment Terms: R276 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.

General

Imprint: Springer
Country of origin: Netherlands
Series: Applied Logic Series, 21
Release date: August 2000
First published: 2000
Authors: Dov M. Gabbay • N. Olivetti
Dimensions: 234 x 156 x 17mm (L x W x T)
Format: Hardcover
Pages: 268
Edition: 2000 ed.
ISBN-13: 978-0-7923-6473-3
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Philosophy > Topics in philosophy > Logic
LSN: 0-7923-6473-2
Barcode: 9780792364733

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Rationality - What It Is, Why It Seems…
Steven Pinker Paperback R380 R297 Discovery Miles 2 970
An Essay Concerning Human Understanding
John Locke Paperback R776 Discovery Miles 7 760
An Essay Concerning Human Understanding…
John Locke Paperback R740 Discovery Miles 7 400
An Essay Concerning Human Understanding
John Locke Paperback R591 Discovery Miles 5 910
An Essay Concerning Human Understanding
John Locke Paperback R705 Discovery Miles 7 050
An Essay Concerning Human Understanding
John Locke Paperback R704 Discovery Miles 7 040
A Grammar of Logic and Intellectual…
Alexander Jamieson Paperback R509 Discovery Miles 5 090
Review of the Work of Mr. John Stuart…
George Grote Paperback R352 Discovery Miles 3 520
Logic, Or, the Right Use of Reason in…
Isaac Watts Paperback R508 Discovery Miles 5 080
Observations on the Nature and Tendency…
Thomas Brown Paperback R432 Discovery Miles 4 320
An Essay Concerning Human Understanding…
John Locke Paperback R511 Discovery Miles 5 110
An Elementary Treatise on Logic…
William Dexter Wilson Paperback R592 Discovery Miles 5 920

See more

Partners