Professional & Technical -- Professional Science -- Mathematics -- Pure Mathematics -- Logic
Books
Dynamic Epistemic Logic (Synthese Library)
Publisher: Springer
ISBN10: 1402069081
ISBN13: 9781402069086
DDC: 160
Edition: Paperback; 2007-11-15
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Publisher: Springer
ISBN10: 3540674012
ISBN13: 9783540674016
DDC: 005.131
Edition: Hardcover; 2008-04
The Proof Is in the Pudding: The Changing Nature of Mathematical Proof
Publisher: Springer-Verlag
ISBN10: 0387489088
ISBN13: 9780387489087
DDC: 500
Edition: Hardcover; 2008-11-30