Thistlewaite, Automated theorem-proving in non-classical logics
Thistlewaite, Automated theorem-proving in non-classical logics
Thistlewaite, Paul B. Automated theorem-proving in non-classical logics. London, Pitman, 1988. 8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar.
Unser Preis: EUR 22,-- |