Girard, J. Y. (1976). Three-valued logic and cut-elimination. Dissertationes mathematicae 136.
Chicago-tyylinen lähdeviittausGirard, J. Y. "Three-valued Logic and Cut-elimination." Dissertationes Mathematicae 136 1976.
MLA-viiteGirard, J. Y. "Three-valued Logic and Cut-elimination." Dissertationes Mathematicae 136 1976.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.