A visual logic with extensions to set theory
By: A.J.H. Simons.
Contributors: University of Sheffield. Department of Computer Science.
Series: Memoranda in computer and cognitive science -- CS-95-08
Publisher: University of Sheffield, Dept. of Computer Science
Published: 1995
Place of publication: Sheffield
Language: eng