Back to Results
First PageMeta Content
Proof theory / Mathematical constructivism / Predicate logic / Boolean algebra / Propositional calculus / First-order logic / Intuitionistic logic / Well-formed formula / Sequent / Logic / Mathematical logic / Mathematics


Document Date: 2014-08-27 06:04:04

Open Document

File Size: 599,49 KB

Share Result on Facebook

Company

ESPRIT / Classical FOL / /

/

Facility

ZF Lawrence C. Paulson Computer Laboratory University of Cambridge lcp@cl.cam.ac.uk With Contributions / /

IndustryTerm

on-line theory library / /

Organization

impE CHAPTER / ZF Lawrence C. Paulson Computer Laboratory University of Cambridge lcp@cl.cam.ac.uk With Contributions / FOL / /

Person

Tobias Nipkow / Martin Coen / Markus Wenzel / Philippe de Groote / Lawrence C. Paulson / /

SocialTag