%THEOREM% : theorem

Book Theorems

First-Order Logic

Higher-Order Logic



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage