next up previous
Next: First-order logic Up: Foundations of Mathematics Previous: Recursive Function Theory

References





root
1998-12-03