Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2000
Cederquist, J.G. and Coquand, T.
(2000)
Entailment relations and distributive lattices.
In: Logic Colloquium 1998, 09-15 Aug 1998, Prague, Czech Republic.
pp. 110-123.
Lecture Notes in Logic 13.
Association for Symbolic Logic in cooperation with A K Peters.
ISBN 1-56881-113-6
This list was generated on Thu May 24 06:28:50 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||