Jan M. Smith - Böcker

Visar alla böcker från författaren Jan M. Smith.

1 produkt

Böcker

1 produkt

Del 36

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 - Twenty Five Years of Constructive Type Theory, Inbunden

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