The Outer Limits of Reason: What Science, Mathematics, and Logic Cannot Tell Us
Noson S. Yanofsky
Concepts of Proof in Mathematics, Philosophy, and Computer Science (Ontos Mathematical Logic, 6)
Dieter Probst
Karl Popper: A Centenary Assessment: Science: Logic, Mathematics, Physics, Biology, Social Science v. 3 by Ian Jarvie (2006-12-28)
Unknown Author
Concepts of Proof in Mathematics, Philosophy, and Computer Science (Ontos Mathematical Logic)
Dieter Probst
Formal Sciences: Mathematics, Logic, Statistics, and Computer Science
Azhar ul Haque Sario
Logic and Design, Revised: In Art, Science, And Mathematics
Krome Barratt
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
Alfred Tarski
Philosophy of Science, Logic and Mathematics in the 20th Century: Routledge History of Philosophy, Volume 9
Stuart G. Shanker
Logic and Discrete Mathematics: A Computer Science Perspective
Winfried Karl Grassmann
Three Views of Logic: Mathematics, Philosophy, and Computer Science
Donald W. Loveland
Logic and Design: In Art, Science & Mathematics
Krome Barratt
Logic for Mathematics and Computer Science
Stanley N. Burris
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Chin-Liang Chang
Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science (Full Circle: Publications of the Archive of Scientific Philo)
Greg Frost-Arnold
Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)
C.A.R. Hoare
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications (Texts in Computer Science)
Gerard O'Regan
The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science, 3)
Johan van Benthem
Sweet Reason: A Field Guide to Modern Logic (Textbooks in Mathematical Sciences)
Tom Tymoczko
Once Upon a Number: The Hidden Mathematical Logic of Stories (Allen Lane Science S.)
John Allen Paulos