Template:Bibtex:fm97lax

From The Twelf Project
Jump to: navigation, search

Matt Fairtlough, Michael Mendler - Propositional lax logic
Inf. Comput. 137(1):1--33, Duluth, MN, USA,1997
Bibtex
Author : Matt Fairtlough, Michael Mendler
Title : Propositional lax logic
In : Inf. Comput. -
Address : Duluth, MN, USA
Date : 1997