Beweistheorie und automatisierter Abzug, Taschenbuch von Goubault-Larrecq, Jean; Ma...
62,38 €
Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from the computer science community. A decade ago I put forward my view that a logical system should be presented as a point in a grid.
Jetzt bei Ebay:
