Skip navigation
Skip navigation

Improved Decision Procedures for Pure Relevant Logic

CollectionsANU Research Publications
Date published: 2001
Type: Book chapter
URI: http://hdl.handle.net/1885/71109
Book Title: Logic, Meaning and Computation: Essays in Memory of Alonzo Church

Download

There are no files associated with this item.


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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator