Filter
Matematiske fundament
Filter
Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams" investigates the possibilities of mechanizing this sort of diagrammatic …
Jon Barwise (1942-2000) was a noted scholar of mathematical logic and philosophy who served on the faculties of Yale University, the University of Wisconsin, Stanford University …