foundations

The Foundations of Mathematics
The Foundations of Mathematics

PREFACETOTHEFIRSTEDITIONThisbookisintendedforreadersintransitionfromschoolmathematicstothefully-fledgedtypeofthinkingusedbyprofessionalmathematicians.Itshouldproveusefu

阅读更多
Foundations of Modern Analysis
Foundations of Modern Analysis

阅读更多
Adjusting Foundations
Adjusting Foundations

阅读更多
Practical Foundations for Programming Languages
Practical Foundations for Programming Languages

Thistextdevelopsacomprehensivetheoryofprogramminglanguagesbasedontypesystemsandstructuraloperationalsemantics.Languageconceptsarepreciselydefinedbytheirstaticanddynamicseman

阅读更多
Practical Foundations for Programming Languages
Practical Foundations for Programming Languages

Inthisinnovativebook,ProfessorRobertHarperoffersafreshperspectiveonthefundamentalsofprogramminglanguagesthroughtheuseoftypetheory.Whereasmosttextbooksonthissubjectemphasiz

阅读更多