EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Pudlák, P.
Home Policy Brochure Browse Search User Area Contact Help

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 Mon May 29 04:45:55 CEST 2017.