Summary: Copyright © 2010 Carnegie Mellon University. All rights reserved.
This manual is based upon work supported by NSF grants MCS81-02870, DCR-8402532, CCR-8702699,
CCR-9002546, CCR-9201893, CCR-9502878, CCR-9624683, CCR-9732312, CCR-0097179, and a grant from the
Center for Design of Educational Computing, Carnegie Mellon University. Any opinions, findings, and conclusions
or recommendations are those of the author(s) and do not necessarily reflect the views of the National Science
Foundation.
ETPS User's Manual
2010 February 12
Frank Pfenning
Sunil Issar
Dan Nesmith
Peter B. Andrews
Hongwei Xi
Matthew Bishop
Chad E. Brown
Version for
Basic Logic
Mathematical Logic I and II
1
1. ETPS User Interface

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics