Dyfyniad APA

Toledo, S. (1975). Tableau systems for first order number theory and certain higher order theories.

Dyfyniad Arddull Chicago

Toledo, Sue. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Springer-Verlag, Berlin, 1975.

Dyfyniad MLA

Toledo, Sue. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. 1975.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.