Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua - Böcker
Visar alla böcker från författaren Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua.
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, Jan M Smith
Inbunden, Engelska, 1998
1 669 kr
Skickas inom 5-8 vardagar