It looks like you're offline.

Last edited by ImportBot

August 29, 2008 | History

Edit

Padric Daugherty

We need a photo of Padric Daugherty

1 work Add another?

decidable sequent calculus theorem prover using controlled contraction

by Padric Daugherty First published in 1988 — 1 edition

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel

We need a photo of Padric Daugherty

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL4294984A

Links outside Open Library

No links yet. Add one?

History

Created August 29, 2008
1 revision

Download catalog record: RDF / JSON

August 29, 2008

Created by ImportBot

Imported from Western Washington University MARC record