Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday
Editat de John N. Crossley et al.
26 ian 1994
Hardback
Preț: 1020.33 lei 1275.41 lei
6-8 săpt.
-20%
Cărți de John N. Crossley
Adapting Proofs-as-Programs: The Curry--Howard Protocol
Autor Iman Poernomo et al.
21 iun 2005
Hardback
Preț: 1000.38 lei 1250.47 lei
6-8 săpt.
-20%
The Emergence of Number
Autor John N. Crossley
31 oct 1987
Paperback
Preț: 365.44 lei
Se retipărește