LCF (theorem prover)

Redirect to:

• Logic for Computable Functions