There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 1969

Pages: 68-131

DOI: 10.1016/S0049-237X(08)70822-X

SO-VID: 28efaf50-ca47-4610-bf01-ccdc3e1beb5d

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 32

Cyclic Proofs for First-Order Logic with Inductive Definitions
Authors: James Brotherston
Interaction Categories and the Foundations of Typed Concurrent Programming
Authors: Samson Abramsky, Simon P Gay, Rajagopal Nagarajan
Complexity of Abstract Argumentation
Authors: Paul E. Dunne, Michael Wooldridge

See all cited by

3. Investigations into Logical Deduction

Read this book at