An edition of Goal-Directed Proof Theory (2010)

Goal-Directed Proof Theory

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Goal-Directed Proof Theory by Dov M. Gabbay
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 4, 2021 | History
Edit
An edition of Goal-Directed Proof Theory (2010)

Goal-Directed Proof Theory

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer, Gabbay Dov M Olivetti N
Pages
284

Check nearby libraries

Buy this book

Subjects
Proof theory, Logic

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Goal-Directed Proof Theory
Goal-Directed Proof Theory
Mar 14, 2014, Springer
paperback
Libraries near you: WorldCat
Cover of: Goal-Directed Proof Theory
Goal-Directed Proof Theory
Dec 03, 2010, Springer, Gabbay Dov M Olivetti N
paperback
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Source title: Goal-Directed Proof Theory (Applied Logic Series)

Classifications

Library of Congress
B1-5802

The Physical Object

Format
paperback
Number of pages
284

ID Numbers

Open Library
OL27980731M
ISBN 10
9048155266
ISBN 13
9789048155262

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 4, 2021 Edited by ImportBot import existing book
May 1, 2020 Created by ImportBot import new book