Handbook of tableau methods / edited by Marcello d'Agostino ... [et al.].
- Dordrecht, NL - Boston - London : Kluwer Academic Publishers , cop. 1999 .
- VIII, 670 p. ; 25 cm.
ISBN 0-7923-5627-6
Demonstração de teoremas
Lógica matemática
LCC QA76.9
ISBN 0-7923-5627-6
Demonstração de teoremas
Lógica matemática
LCC QA76.9