Ver registro no DEDALUS
Exportar registro bibliográfico

Introducao a logica elementar: com o simbolo de hilbert (1988)