Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology - Böcker
Visar alla böcker från författaren Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology.
1 produkt
1 produkt
Del 36 - Oxford Logic Guides
Twenty Five Years of Constructive Type Theory
Av Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith
Inbunden, Engelska, 1998
1 669 kr
Skickas inom 5-8 vardagar