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