next up previous
Next: First-order logic

Foundations of Mathematics

Last Updated: June 1996


Date:





root
1998-12-03