Up:
MAU22C00 lecture notes
Top:
MAU22C00 lecture notes
Next:
Formal vs informal proof
Previous:
A final example
Zeroeth order logic