Adapting Proofs-as-Programs: The Curry--Howard Protocol
Autor Iman Poernomo et al.
19 noi 2010
Paperback
Preț: 955.14 lei 1193.93 lei
43-57 zile
-20%
Cărți de John N. Crossley
The Emergence of Number
Autor John N. Crossley
31 oct 1987
Paperback
Preț: 395.44 lei
Se retipărește
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday
Editat de John N. Crossley et al.
26 ian 1994
Hardback
Preț: 980.69 lei 1225.85 lei
43-57 zile
-20%
What Is Mathematical Logic?
Autor Guillermo Badia et al.
11 dec 2025
Hardback
Preț: 172.39 lei 208.69 lei
19-30 zile | 5-11 zile
-17% Nou