OrDB
Paper
  Data
Broda K, Gabbay DM, Lamb LC, Russo A (2004)
Research Studies Press-Institute of Physics Publishing
2004
Compiled labelled deductive systems: A uniform presentation of non-classical logics
Other categories referring to Broda K, Gabbay DM, Lamb LC, Russo A (2004)
Paper.References   (1)
Revisions: 1
Last Time: 7/21/2006 1:26:26 PM
Reviewer: System Administrator
Owner: System Administrator