Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Copyright 2010 Carnegie Mellon University. All rights reserved. This manual is based upon work supported by NSF grants MCS8102870, DCR8402532, CCR8702699,
 

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

  

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

 

Collections: Mathematics