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

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

Saved in:

Bibliographic Details
Author / Creator:	Girard, J. Y.
Imprint:	Warszawa : Państwowe Wydawn. Naukowe, 1976.
Description:	49 p. ; 24 cm.
Language:	English
Series:	Dissertationes mathematicae ; 136 Rozprawy matematyczne ; 136.
Subject:	Many-valued logic. Predicate calculus. Many-valued logic. Predicate calculus.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/5722488

Hidden Bibliographic Details
Other authors / contributors:	Instytut Matematyczny (Polska Akademia Nauk)
Notes:	At head of title: Polska Akademia Nauk, Instytut Matematyczny. Bibliography: p. [45]

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA1.P76 no.136
c.1	To check availability consult the series record. Intellectual item Need help? - Ask a Librarian