<--- Back to Details
First PageDocument Content
Logic in computer science / First-order logic / Isabelle / Higher-order logic / HOL / Modal logic / Unification / Natural deduction / Type theory / Logic / Mathematical logic / Theoretical computer science
Date: 2014-08-27 06:04:04
Logic in computer science
First-order logic
Isabelle
Higher-order logic
HOL
Modal logic
Unification
Natural deduction
Type theory
Logic
Mathematical logic
Theoretical computer science

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 505,34 KB