Notes on the Science of Logic
by Nuel Belnap
Publisher: University of Pittsburgh 2009
Number of pages: 227
Description:
This course assumes you know how to use truth functions and quantifiers as tools. Our principal task here will be to study these very tools; we shall be engaged in part of the science of logic. Contents: Preliminaries; The logic of truth functional connectives; The first order logic of extensional predicates, operators, and quantifiers.
Download or read it online for free here:
Download link
(750KB, PDF)
Similar books
A Concise Introduction to Mathematical Logicby Wolfgang Rautenberg - Springer
A well-written introduction to the beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompleteness theorems, as well as some topics motivated by applications.
(8432 views)
Introduction to Mathematical Logicby Vilnis Detlovs, Karlis Podnieks - University of Latvia
From the table of contents: 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).
(5377 views)
Logic for Computer Science- Wikibooks
This book provides a survey of mathematical logic and its various applications. After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity.
(5500 views)
The Principles Of Mathematicsby Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(7959 views)