Symbolic logic and mechanical theorem proving
Chang, Chin-Liang & Richard Char-Tung Lee
ISBN
-
Uitgever
Academic Press 1973 cloth
Taal
Maak uw keuze
Categorie
science,Logica mathematics
Meer info
331 pp. ISBN (0-12-170350-9) (code Sc-87)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.