Søkt på: Søkeresultat
totalt 5 treff
Collected Works of J. Richard Buchi
J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier …
Mathematics Form and Function
Categories for the Working Mathematician
Categories for the Working Mathematician provides an array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of …
Sheaves in Geometry and Logic
We dedicate this book to the memory of J. Frank Adams. His clear insights have inspired many mathematicians, including both of us. In January 1989, when the first draft of our book …
Categories for the Working Mathematician
Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe- maticians working in a variety of other fields …