Giovanni Sambin - Böcker

Visar alla böcker från författaren Giovanni Sambin.

2 produkter

Kategorier

2 produkter

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

Positive Topology

A New Practice in Constructive Mathematics

AvGiovanni Sambin

Inbunden, Engelska, 2025

2 049 kr

Skickas inom 5-8 vardagar