Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture / J. Y. Girard

Saved in:
Bibliographic Details
Superior document:Dissertationes mathematicae 136
VerfasserIn:
Place / Publishing House:Warszawa : PWN, 1976
Year of Publication:1976
Language:English
Series:Dissertationes mathematicae 136
Physical Description:49 S.
Notes:Literaturverz. S. [45]
Tags: Add Tag
No Tags, Be the first to tag this record!

Copies

OeAW BAS:IS (Library, Archiv, Collections) 

Location:BAS:IS-Magazine
Call Numbers:84784.136
Call Number 2nd Call Number Description Location Remarks Status Availability Order
84784.136 BAS:IS-Magazine Loan Available  Place a Hold