|
| Books 1 - 7 of 7 | Previous | Next |
|
 | | Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (Lecture Notes in Computer Science) (1st Edition)
by Arnon Avron (Editor), Nachum Dershowitz (Editor), Alexander Rabinovich (Editor)
Paperback, 683 Pages, Published 2008 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Pillars of Computer Science
by Arnon (EDT)/ Dershowitz, Nachum (EDT)/ Rabinovich, Alexander (EDT) Avron
Paperback, Published 2008 by Springer-Verlag New York Inc
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The semantics and proof theory of linear logic (LFCS report series. University of Edinburgh. Department of Compter Science. Laboratory of Foundations of Computer Science)
by Arnon Avron
Unknown Binding, 10 Pages, Published 1987 by University of Edinburgh, Dept. of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Using typed lambda calculus to implement formal systems on a machine (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science)
by Arnon Avron
Unknown Binding, 37 Pages, Published 1987 by University of Edinburgh, Dept. of Computer Science, Laboratory for Foundations of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Gentzenizing Schroeder-Heister's natural extension of natural deduction (LFCS report series. University of Edinburgh. Department of Computer Science. Laboratory of Foundations of Computer Science)
by Arnon Avron
Unknown Binding, 10 Pages, Published 1987 by University of Edinburgh, Dept. of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Foundations and proof theory of 3-valued logics (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science)
by Arnon Avron
Unknown Binding, 37 Pages, Published 1988 by University of Edinburgh, Dept. of Computer Science, Laboratory for Foundations of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Simple consequence relations (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science)
by Arnon Avron
Unknown Binding, 40 Pages, Published 1987 by University of Edinburgh, Dept. of Computer Science, Laboratory for Foundations of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 7 of 7 | Previous | Next |