Pure Mathematics

Citation:	Andreas Blass, "Abstract State Machines and Pure Mathematics". In Yuri GurevichYuri Gurevich, Philipp W. Kutter, Martin Odersky, and Lothar Thiele, eds., Abstract State Machines: Theory and Applications, Springer LNCS 1912, 2000, 9--21.
Summary:	A discussion of connections, similarities, and differences between concepts and issues arising in the study of ASMs and those of pure mathematics (particularly set theory and logic).
Subjects:	Logic & Computability
Download:	From Andreas Blass' FTP site in compressed PostScript.
Notes:

[an error occurred while processing this directive]

Abstract State Machines