A Friendly Introduction to Mathematical Logic
by Christopher C. Leary, Lars Kristiansen
Publisher: Milne Library Publishing 2015
Number of pages: 380
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this edition, 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.
Home page url
Download or read it online for free here:
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.
by Uli Furbach - Wikibooks
This book is intended for computer scientists and it assumes only some basic mathematical notions like relations and orderings. The aim was to create an interactive script where logics can be experienced by interaction and experimentation.
by H. Andreka, I. Nemeti, I. Sain
Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.
by Nuel Belnap - University of Pittsburgh
This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.