Up: Logic, languages and computability Top: Logic, languages and computability

Next: Formal vs informal proof Previous: Back to the beginning

Zeroeth order logic