Logo

Notes on the Science of Logic

Small book cover: Notes on the Science of Logic

Notes on the Science of Logic
by

Publisher: University of Pittsburgh
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.

Home page url

Download or read it online for free here:
Download link
(750KB, PDF)

Similar books

Book cover: A Problem Course in Mathematical LogicA Problem Course in Mathematical Logic
by
An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.
(16483 views)
Book cover: A Friendly Introduction to Mathematical LogicA Friendly Introduction to Mathematical Logic
by - Milne Library Publishing
In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.
(4175 views)
Book cover: Introduction to Mathematical Logic: A problem solving courseIntroduction to Mathematical Logic: A problem solving course
by - arXiv
This is a set of questions written for a course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; etc.
(10180 views)
Book cover: What is Mathematics: Gödel's Theorem and AroundWhat is Mathematics: Gödel's Theorem and Around
by - University of Latvia
Textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Theorems; Godel's Theorem.
(3638 views)