OXFORD TEXTS IN LOGIC
Proof and Disproof in Formal Logic
$149.50
Hardback,
Sep 2005
ISBN13: 9780198530268ISBN10: 0198530269
A lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works.
A First Course in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
$159.50
Hardback,
Sep 2004
ISBN13: 9780198529804ISBN10: 0198529805
This text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Proof and Disproof in Formal Logic
An Introduction for programmers
$64.50
Paperback,
Sep 2005
ISBN13: 9780198530275ISBN10: 0198530277
A lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works.
Discover these from OUP
The bloodiest war fought on American soil
Gain insight and understanding into the war that tore our country apart. Read The Battle Cry of Freedom and other Oxford Civil War titles.
Liberate Your True Voice
In Writing Alone and with Others, Schneider's acclaimed teaching methods are available in a single well-organized and highly readable volume.
Jewish tradition and biblical scholarship
Reflecting both contemporary biblical scholarship and the richness of Jewish tradition, The Jewish Study Bible provides an innovative one-volume resource specifically conceived readers of the Bible in mind.