skip to content
Herbrand expansions and reductions of the decision problem. Preview this item
ClosePreview this item
Checking...

Herbrand expansions and reductions of the decision problem.

Author: Harry R Lewis
Dissertation: Thesis (Ph. D.)--Harvard University, 1974.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : English
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Harry R Lewis
OCLC Number: 76990233
Description: 1 v. (various pagings)

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.