Correia,, Jorge Manuel Martins
O teorema da normalização para lógica de primeira ordem / Jorge Manuel Martins Correia ; orient. José Carlos Espírito Santo, Luís Filipe Ribeiro Pinto
O teorema da normalização para lógica de primeira ordem / Jorge Manuel Martins Correia ; orient. José Carlos Espírito Santo, Luís Filipe Ribeiro Pinto
. - [Braga : s.n.], 2009
. - XI, 76 p. 30 cm
. -
510