Computational logic : symposium proceedings, Brussels, November 13/14, 1990 / ed. J. W. Lloyd.
- Berlin [etc.] : Springer-Verlag , cop. 1990 .
- IX, 211 p. ; 25 cm.
- (Basic Research Series)
ISBN 3-540-53437-7
Demonstração de teoremas
Lógica matemática
LCC QA76.9
ISBN 3-540-53437-7
Demonstração de teoremas
Lógica matemática
LCC QA76.9