(Ilmumisaeg: 06-Dec-2012, PDF+DRM, Kirjastus: Springer-Verlag New York Inc., ISBN-13: 9781461222668)
The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Freges 1879 Begriffsschrift-"e;not only the direc...Loe edasi...
