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

Kategorier

1 produkt

Del 36

Del 36 - Oxford Logic Guides

Twenty Five Years of Constructive Type Theory

AvGiovanni 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 589 kr

Skickas inom 5-8 vardagar