Golzio, A. C. d. J., & Rodrigues, A. P. (2010). A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX. Universidade Estadual Paulista (UNESP).
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Golzio, Ana Claudia de Jesus, và Angela Pereira Rodrigues. A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX. Universidade Estadual Paulista (UNESP), 2010.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Golzio, Ana Claudia de Jesus, và Angela Pereira Rodrigues. A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX. Universidade Estadual Paulista (UNESP), 2010.
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%.