Normalization, cut-elimination and the theory of proofs (Book, 1992) [WorldCat.org]
skip to content
Normalization, cut-elimination and the theory of proofs Preview this item
ClosePreview this item
Checking...

Normalization, cut-elimination and the theory of proofs

Author: Anthony M Ungar
Publisher: Stanford : CSLI, cop. 1992.
Series: CSLI Lecture Notes, no. 28.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Anthony M Ungar
ISBN: 0937073830 9780937073834 0937073822 9780937073827
OCLC Number: 840289681
Description: V, 236 s. ; 24 cm.
Series Title: CSLI Lecture Notes, no. 28.
Responsibility: A.M. Ungar.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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.