Eminently reasonable thinking: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

At the British Maths Colloquium 2004 in Belfast, I was contacted by Oxford University Press about a new book series called Oxford Texts in Logic. Unlike other commercial publishing houses, OUP is stocking up on its logic titles, understanding logic as a broad cultural enterprise that bridges humanit...

Full description

Saved in:
Bibliographic Details
Published in:The Times higher education supplement 2005 (1,720), p.III
Format: Review
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:At the British Maths Colloquium 2004 in Belfast, I was contacted by Oxford University Press about a new book series called Oxford Texts in Logic. Unlike other commercial publishing houses, OUP is stocking up on its logic titles, understanding logic as a broad cultural enterprise that bridges humanities and sciences and imbues applied areas such as robotics and artificial intelligence with formal reasoning.
ISSN:0049-3929