Takeuti, G. (1975). Proof theory. North-Holland Pub. Co. ; American Elsevier Pub. Co..
Dyfyniad Arddull ChicagoTakeuti, Gaisi. Proof Theory. Amsterdam : New York: North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Dyfyniad MLATakeuti, Gaisi. Proof Theory. North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.