Mathematical Logic and the Foundations of Mathematics - An Introductory Survey Author: G. T. Kneebone Part I Mathematical Logic Part II Foundations of Mathematics Part III Philosophy of Mathematics
LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems MICHAEL HUTH Department of Computing Imperial College London, United Kingdom MARK RYAN School of Computer Science University of Birmingham, United Kingdom