Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Predicate logic / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Constructible universe / Quantifier / First-order logic


LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address:
Add to Reading List

Document Date: 2011-04-07 21:09:24

Open Document

File Size: 704,58 KB

Share Result on Facebook