Browse
FAQ

Author

Colin P. Stirling

1 book found

Cover of Proof, language, and interaction

Proof, language, and interaction

Mads Tofte, G. Plotkin, Colin P. Stirling · First published 2000