Computability and Logic
3 authors - Paperback
£32.00
3 authors - Hardback
£90.00
The Logic of Provability
George S Boolos - Paperback