Welcome to IOU Digital Library

A textbook introducing core concepts in mathematical logic and their application to computation, aimed at students studying logic, computer science, or the mathematical foundations of computing.

no reviews

245: $a: Logic, Computation
245: $b:
082: $a:
100: $a: Thomas Forster
650: $a: Logic, theoretical computer science
250: $a:
440: $v:
250: $b: Cambridge University Press
250: $c: 101
020: $a: 0-521-53361-9
300: $a: 177