Castro, M. A. d. (2004). Hierarquias de sistemas de dedução natural e de sistemas de tableaux analiticos para os sistemas Cn de da Costa.
Referência de acordo com a norma ChicagoCastro, Milton Augustinis de. Hierarquias De Sistemas De Dedução Natural E De Sistemas De Tableaux Analiticos Para Os Sistemas Cn De Da Costa. 2004.
Referência de acordo com a norma MLACastro, Milton Augustinis de. Hierarquias De Sistemas De Dedução Natural E De Sistemas De Tableaux Analiticos Para Os Sistemas Cn De Da Costa. 2004.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero
, que permite o upload automático das referências do Oasisbr.