1
Published 2007
Table of Contents: ... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...
View full text
Electronic eBook