A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)
by Shawn Hedman
ISBN 13: 9780198529811
Format: Illustrated (452 pages) Publisher: OUP Oxford Published: 08 Jul 2004
Save for later
Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
by Patrick Blackburn
ISBN 13: 9780521527149
Format: Illustrated (578 pages) Publisher: Cambridge University Press Published: 22 Aug 2002
Converging Realities: Toward a Common Philosophy of Physics and Mathematics
by Roland Omnès
ISBN 13: 9780691115306
Format: Hardcover (284 pages) Publisher: Princeton University Press Published: 29 Nov 2004