1
Szerző: Cohen, Donald N.
Megjelenés: 1981
Tárgyszavak:
“...automatikus tételbizonyítás -- matematikai logika...”Megjelenés: 1981
könyv