Logo

Topics in Logic and Foundations

Topics in Logic and Foundations
by

Publisher: The Pennsylvania State University
Number of pages: 89

Description:
This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course was intended for students already familiar with the basics of mathematical logic. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.

Home page url

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

Similar books

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.
(4607 views)
Book cover: Introduction to Mathematical PhilosophyIntroduction to Mathematical Philosophy
by - University of Massachusetts Amherst
A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.
(11604 views)
Book cover: Symbolic Logic: A Second CourseSymbolic Logic: A Second Course
by - UMass Amherst
Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.
(9560 views)
Book cover: Natural TopologyNatural Topology
by - arXiv
We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.
(5941 views)