Categories and types in logic, language, and physics

by C. Casadio, Bob Coecke, Michael Moortgat, Philip Scott

MathematicsSymbolic and mathematical LogicComputer scienceProgramming languages (electronic computers)Computer software, developmentLogic designMathematical Logic and Formal LanguagesComputation by Abstract Devices

For young readers

Book data: Open Library