Toledo, S. (1975). Tableau systems for first order number theory and certain higher order theories. Springer-Verlag.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Toledo, Sue. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Berlín: Springer-Verlag, 1975.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Toledo, Sue. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Springer-Verlag, 1975.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.