Mathematical Logic: Foundations for Information Science
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also pre a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems.
Starting with the concept that mathematical logic is not a collection of vaguely related results, but a method of attacking some of the most interesting problems which face the mathematician, the author sets the tone for this classic introduction. The basic concepts are presented in an unusually clear and accessible fashion, keeping in mind the original purpose of mathematical logic to build the foundations of this vast edifice of knowledge in a way that helps and intrigues the working mathematician as much as the philosophically minded student of logic.
The Search for Certainty: A Philosophical Account of Foundations of Mathematics
"The Search for Certainty is a superb synoptic account of the intense and fruitful work that went into clarifying the foundations of mathematics...It fills the gap in the literature that Giaquinto reports to have noticed when a student of logic, and it does so in an excellent manner." -- The Review of Modern Logic
Temporary Organizations: Prevalence, Logic and Effectiveness
This important and timely book provides a systematic treatment of temporary organizations - an increasingly prevalent organizational form in which organizations work together on a joint task - for example, a movie production, a rescue operation, development of a new product - for an ex ante limited period of time.
The Theory of Gambling and Statistical Logic, Second Edition
Early in his rise to enlightenment, man invented a concept that has since been variously viewed as a vice, a crime, a business, a pleasure, a type of magic, a disease, a folly, a weakness, a form of sexual substitution, an expression of the human instinct. He invented gambling.