|
|
|
Welcome Guest! Login/Join |
| Directory: | Science / Math / Logic_and_Foundations / Foundations |
| Title: | Practical Foundations of Mathematics |
| Description: | Online text of the book by Paul Taylor, together with supporting materials. The text aims to provide a conceptual and formal foundation for mathematics and computer science. |
| Location: | http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html |
| |
|
| | |
| Directory: | Science / Math / Logic_and_Foundations / Game_Semantics |
| Title: | Is Game Semantics Necessary? |
| Description: | Paper by Andreas Blass. |
| Location: | http://arxiv.org/abs/math.LO/9310211 |
| |
|
| | |
| Directory: | Science / Math / Logic_and_Foundations / Meetings / BLC |
| Title: | British Logic Colloquium 1996 |
| Description: | In memoriam Robin Gandy. Oxford; 5-6 July 1996. |
| Location: | http://www.cs.bham.ac.uk/~exr/blc/oxford.html |
| |
|
| | |
| Directory: | Science / Math / Logic_and_Foundations / Nonstandard_Logics_and_Extensions / Substructural_Logics / Linear_Logic / People |
| Title: | Galmiche, Didier |
| Description: | University of Henri Poincare, France. |
| Location: | http://www.loria.fr/~galmiche/ |
| |
|
| | |
| Directory: | Science / Math / Logic_and_Foundations / Organizations |
| Title: | ALP |
| Description: | Association for Logic Programming. Membership information, newsletter, journals, meetings. |
| Location: | http://www.cwi.nl/projects/alp/ |
| |
|
| | |
| Directory: | Science / Math / Logic_and_Foundations / People |
| Title: | Gerla, Giangiacomo |
| Description: | University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry. |
| Location: | http://www.dmi.unisa.it/people/gerla/www/ |
| |
|
| | |
| Directory: | Science / Math / Logic_and_Foundations / Set_Theory / People |
| Title: | Brendle, Joerg |
| Description: | Kobe University. |
| Location: | http://kurt.scitec.kobe-u.ac.jp/~brendle/ |
| |
|
| | |
| Directory: | Science / Math / Mathematicians / D / Dedekind,_Richard |
| Title: | Richard Dedekind - Wikipedia |
| Description: | Biography of the mathematician with links to relevant terms. |
| Location: | http://en.wikipedia.org/wiki/Richard_Dedekind |
| |
|
| | |
| Directory: | Science / Math / Number_Theory / People / G |
| Title: | Goss, David |
| Description: | Ohio State University. Zeta-functions, gamma functions, motives, Drinfeld modules, modular forms, Galois representations, special-values, non-archimedean analysis, K-theory. Publications, books. |
| Location: | http://www.math.ohio-state.edu/~goss/ |
| |
|
| | |
| Directory: | Science / Math / Number_Theory / People / H |
| Title: | Hughes, Chris |
| Description: | University of Michigan. Application of random matrix theory to the Riemann zeta function and other L-functions. Publications, resources. |
| Location: | http://www.aimath.org/~hughes/ |
| |
|
| | |
Hosting Metrics