Reductive Logic and Proof-Search

Loading edition detail...

Preparing this view.

Reductive Logic and Proof-Search

David J. Pym, Eike Ritter

Bookitis Pick

Reductive Logic and Proof-SearchDavid J. Pym, Eike Ritter

David J. Pym, Eike RitterPublished 20042 title views

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Oxford University Press
Search language	english
ISBN_13	978-0-191-52353-3 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

RL
Image source: Open Library
Reductive logic and proof-search
David J. Pym | Clarendon Press | 2004
1 views
Reductive Logic and Proof-SearchDavid J. Pym, Eike Ritter
RL
Reductive Logic and Proof-Search
David J. Pym, Eike Ritter | Oxford University Press | 2004
1 views
RL
Image source: Open Library
Reductive Logic and Proof-search
David J. Pym, Eike Ritter | Oxford University Press, USA | May 28, 2004
Reductive Logic and Proof-searchDavid J. Pym, Eike Ritter
RL
Reductive Logic and Proof-search
David J. Pym, Eike Ritter | Oxford University Press, Incorporated | 2004