Skip to content

Notes for a logic lecture for computer scientists. Uni Bremen

Notifications You must be signed in to change notification settings

daniel86/logic-lecture-notes

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

60 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Lecture Notes: Logic

How to compile

Simple:

pdflatex notes.tex

There are some LaTeX packages involved, you should have installed:

  • inputenc, fontenc and babel (should already be there)
  • mathpazo
  • csquotes
  • amsmath and amssymb
  • parskip
  • xspace
  • textcomp
  • geometry
  • tikz (for graphics)
  • stmaryrd (defines \lightning)

About

Notes for a logic lecture for computer scientists. Uni Bremen

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published