Propositional lax logic
By: Matt Fairtlough and Michael Mendler.
Contributors: Mendler, Michael.; University of Sheffield. Department of Computer Science.
Series: Memoranda in computer and cognitive science -- CS-95-09
Publisher: University of Sheffield, Dept. of Computer Science
Published: 1995
Place of publication: Sheffield
Language: eng