Skip to content

Instantly share code, notes, and snippets.

@alexander-hanel

alexander-hanel/notes.md

Created November 16, 2022 17:32
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save alexander-hanel/b8baeb0ed87eb79e68ab734aeb6a13f8 to your computer and use it in GitHub Desktop.
Save alexander-hanel/b8baeb0ed87eb79e68ab734aeb6a13f8 to your computer and use it in GitHub Desktop.
Download ZIP
Program Analysis Topics And References
Raw
notes.md

Program Analysis

Status: in progress

Logic

  • Intro to Formal Logic — Peter smith
  • Intermediate Logic - David Bostock
  • Natural Logic — Neil Tennant
  • A mathematical intro to logic — Herber Enderton
  • Logic and Structure — Dirk van Dalen
  • First Order Logic — Raymond Smullyan
  • Elements of Logical Reasoning — Jan von Plato
  • First Order Logic and Automated Theorem Proving — Melvin Fitting
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment