Login

Publication

Detail

Publication date: 01/01/2013

Checking proofs

Authors

Jesse Alama, Andrew Aberdein, Reinhard Kahle, Ian Dove and,
URL http://link.springer.com/chapter/10.1007/978-94-007-6534-4_9
Publisher Springer
Series Logic, Epistemology, and the Unity of Science
Volume 30
URL http://link.springer.com/chapter/10.1007/978-94-007-6534-4_9
Publisher Springer
Series Logic, Epistemology, and the Unity of Science
Volume 30