Normal view
MARC view
- Pereira, Luiz Carlos
Pereira, Luiz Carlos (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Advances in Natural Deduction, 2014.