We a good story
Quick delivery in the UK

Books in the OXFORD TEXTS IN LOGIC series

Filter
Filter
Sort bySort Series order
  • by Wilfrid Hodges & Ian Chiswell
    £63.49 - 178.99

    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.

  • - An Introduction to Model Theory, Proof Theory, Computability, and Complexity
    by Florida Southern College) Hedman & Shawn (Department of Mathematics
    £76.99 - 227.49

    Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course.

  • - An Introduction for programmers
    by Middlesex University) Bornat & Richard (School of Computing Science
    £65.49 - 82.99

    Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is divided in to four parts. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text includes reference to and exercises based on the computer software package Jape.

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.