Open Logic Project

Open Logic Project

The Open Logic Text is an open-source, collaborative textbook of formal meta-logic and formal methods, starting at an intermediate level (i.e., after an introductory formal logic course). Though aimed at a non-mathematical audience (in particular, students of philosophy and computer science), it is...

Full description

Saved in:
Bibliographic Details
Main Authors: Zach, Richard (Author), Arana, Andrew (Author), Avigad, Jeremy (Author), Dean, Walter (Author), Russell, Gillian (Author), Wyatt, Nicole (Author), Yap, Audrey (Author)
Format: Electronic eBook
Language:English
Published: Calgary, Alberta Open Logic Text [2016]
Series:Open textbook library.
Subjects:
Humanities > Textbooks
Mathematics > Textbooks
Philosophy > Textbooks
Online Access:Access online version
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • I Naıve Set Theory
  • II Propositional Logic
  • III First-order Logic
  • IV Model Theory
  • V Computability
  • VI Turing Machines
  • VII Incompleteness
  • VIII Second-order Logic
  • IX The Lambda Calculus
  • X Many-valued Logic
  • XI Normal Modal Logics
  • XII Intuitionistic Logic
  • XIII Counterfactuals
  • XIV Set Theory
  • XV Methods
  • XVI History

Similar Items