APA

Arruda A. I., Latin American Symposium on Mathematical Logic, . (1977). Non-classical logics, model theory, and computability. Amsterdam [u.a.]: North-Holland.

Chicago

Arruda Ayda I, Latin American Symposium on Mathematical Logic, . 1977. Non-classical logics, model theory, and computability. Amsterdam [u.a.]: North-Holland.

Harvard

Arruda A. I., Latin American Symposium on Mathematical Logic, . (1977). Non-classical logics, model theory, and computability. Amsterdam [u.a.]: North-Holland.

MLA

Arruda Ayda I, Latin American Symposium on Mathematical Logic, . Non-classical logics, model theory, and computability. Amsterdam [u.a.]: North-Holland. 1977.