Oxford Logic Guides
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
$159.50
Hardback,
Jun 2004
ISBN13: 9780198526339ISBN10: 0198526334
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
![[cover]](/web/20070228113931im_/http://www.oup.com/images/covers/0198526334.jpg)
Set Theory
Boolean-Valued Models and Independence Proofs
Third Edition
$164.50
hardback,
Jul 2005
ISBN13: 9780198568520ISBN10: 0198568525
Provides an exposition of some of the most important results in set theory obtained in the 20th century-the independence of the continuum hypothesis and the axiom of choice.
![[cover]](/web/20070228113931im_/http://www.oup.com/images/covers/0198568525.jpg)
Category Theory
$124.50
Hardback,
Jul 2006
ISBN13: 9780198568612ISBN10: 0198568614
A must for computer scientists, logicians and linguists!
![[cover]](/web/20070228113931im_/http://www.oup.com/images/covers/0198568614.jpg)
Discover these from OUP
Books for Understanding
Highlighting quality titles on terrorism, grief, international law, Middle Eastern history, Islam, and more
From ancient Greece to the modern era...
...the art of persuasion has been used, discussed, and debated for over twenty-four hundred years. Now the Encyclopedia of Rhetoric provides balanced coverage of classical rhetoric and the rhetorical turns in contemporary critical thought
Understand the evolution of language
The International Encyclopedia of Linguistics is an indispensable addition to libraries and will introduce a new generation of readers to the complexities and concerns of this field of study.
