@book{bookf2acd91d,
title   = {Introducao a logica elementar: com o simbolo de hilbert},
author = {Carrion, R and Costa, N C A},
year = {1988},
publisher = {Editora da Ufrgs}
}