LPL software manual, manual de procedimentos do CD-ROM com o título language, proof and logic
LPL software manual : manual de procedimentos do CD-ROM com o título language, proof and logic / Gerard Allwein ... [et al.].
- New York : CSLI : Seven Bridges Press , cop. 2000 .
- VII, 52 p. ; 22 cm + 1 CD-ROM.
ISBN
Lógica
LCC BC71
ISBN
Lógica
LCC BC71