Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture Girard J Y
Material type:
TextLanguage: English Series: Dissertations mathematicae; 136Publication details: Waeszawa Panstwowa Wydawnictwo Naukowe 1976Description: 49p. cmSubject(s): DDC classification: - B32, L61
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B32 L61 (Browse shelf(Opens below)) | Available | SL0315074 |
There are no comments on this title.
Log in to your account to post a comment.