Open Logic Project / Richard Zach, Andrew Arana, Jeremy Avigad, Walter Dean, Gillian Russell, Nicole Wyatt, Audrey Yap.

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

Bibliographic Details
Uniform Title:Open Textbook Library.
Main Authors: Zach, Richard (Author)
Arana, Andrew (Author)
Avigad, Jeremy (Author)
Dean, Walter (Author)
Russell, Gillian (Author)
Wyatt, Nicole (Author)
Yap, Audrey (Author)
Corporate Author: Open Textbook Library (Distributor)
Language:English
Language and/or Writing System:
In English.
Published: [Place of publication not identified] : Zach, Richard, [2016]
Series:Open Textbook Library.
Subjects:
Humanities > Textbooks.
Mathematics > Textbooks.
Philosophy > Textbooks.
Open educational resources.
Genre:
Textbooks.
Open educational resources.
Online Access:
Connect to online resource - MSU authorized users (Open Textbook Library @ University of Minnesota)
Physical Description:1 online resource.
Format: Electronic Website
Contents:
  • I Sets, Relations, Functions
  • II Propositional Logic
  • III First-order Logic
  • IV Model Theory
  • V Computability
  • VI Turing Machines
  • VII Incompleteness
  • VIII Second-order Logic
  • IX Normal Modal Logics
  • X Instuitionistic Logic
  • XII Methods
  • XIII History