MathSciNet Relay Station
MathSciNet bibliographic data
MR446918 (56 #5235) 02D99 (02C05 02H05 02B15)
Girard, J. Y. Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture. Dissertationes Math. (Rozprawy Mat.) 136 (1976), 49 pp.
Links to the journal or article are not yet available
 
For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

Username/Password Subscribers access MathSciNet here

AMS Home Page

American Mathematical Society American Mathematical Society
201 Charles Street
Providence, RI 02904-6248 USA
© Copyright 2015, American Mathematical Society
Privacy Statement