<--- Back to Details
First PageDocument Content
Logic in computer science / Proof theory / Predicate logic / Type theory / First-order logic / Sequent / Isabelle / Higher-order logic / Logical framework / Logic / Mathematical logic / Mathematics
Date: 2014-08-27 06:04:04
Logic in computer science
Proof theory
Predicate logic
Type theory
First-order logic
Sequent
Isabelle
Higher-order logic
Logical framework
Logic
Mathematical logic
Mathematics

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

Download Document from Web Archive

File Size: 580,88 KB