Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006
Add to Reading List
Document Date: 2006-08-09 04:38:59
Open Document
File Size: 220,72 KB
Share Result on Facebook
Currency
pence /
/
Person
Meta-Logical Frameworks /
Meta-Logical Frameworks Lecture /
Carsten Sch /
/
Technology
same technology /
/
SocialTag
Mathematical logic
Programming language theory
Dependently typed programming
Twelf
Logical framework
Boolean algebra
Propositional calculus
Specific Area Message Encoding
Functional completeness
Logic in computer science