Innbunden bok
Vis utilgjengelige utgivelser

Releases med Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy)

Cover for Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Italy) · Twenty Five Years of Constructive Type Theory - Oxford Logic Guides (Innbunden bok) (1998)
Innbunden bok
Twenty Five Years of Constructiv...
Sambin, Giovanni (Professor of M...