Skip navigation
Skip navigation

Decidability, complexity and automated reasoning in relevant logic

CollectionsOpen Access Theses
Date published: 1991
Type: Thesis (PhD)


File Description SizeFormat Image
b18157816_Riche, Jacques M.pdf96.26 MBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator