1. Association for Symbolic Logic |
||||
|---|---|---|---|---|
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Organizations and Societies | |||
| URL | http://www.aslonline.org | Metadata | ||
2. Axiom of Choice |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Other Primary Information Sources | |||
| URL | http://www.math.vanderbilt.edu/~schectex/ccc/choice.html | Metadata | ||
3. Bao, Gang - Michigan State University |
||||
| Subject Class | Partial differential equations; Optics, electromagnetic theory; Mechanics of solids [deprecated]; Numerical analysis; Mathematical logic and foundations | |||
| Source Type | Personal Homepage | |||
| URL | http://www.mth.msu.edu/~bao/ | Metadata | ||
4. Blass, Andreas R. - University of Michigan |
||||
| Subject Class | Mathematical logic and foundations; Set theory; Category theory, homological algebra; Combinatorics; Computer science | |||
| Source Type | Personal Homepage | |||
| URL | http://www.math.lsa.umich.edu/~ablass/ | Metadata | ||
5. The British Logic Colloquium |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Organizations and Societies | |||
| URL | http://www.cs.bham.ac.uk/~exr/blc/ | Metadata | ||
6. The Bulletin of Symbolic Logic |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Journals | |||
| URL | http://www.math.ucla.edu/~asl/ | Metadata | ||
7. Creighton University - Center for Mathematics of Uncertainty |
||||
| Subject Class | Mathematical logic and foundations; Order, lattices, ordered algebraic structures; Integral equations | |||
| Source Type | University Departments | |||
| URL | http://www2.creighton.edu/ccas/fuzzymath/ | Metadata | ||
8. Devlin, Keith - University of Stanford |
||||
| Subject Class | General; Mathematical logic and foundations | |||
| Source Type | Personal Homepage | |||
| URL | http://www.stanford.edu/~kdevlin/ | Metadata | ||
9. Downey, Rod - Victoria University; Wellington |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Personal Homepage | |||
| URL | http://homepages.ecs.vuw.ac.nz/~downey/ | Metadata | ||
10. Factasia Logic |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Author Specific Site | |||
| URL | http://www.rbjones.com/rbjpub/logic/ | Metadata | ||
11. Friedman, Sy David - Universität Wien |
||||
| Subject Class | Mathematical logic and foundations; Set theory | |||
| Source Type | Personal Homepage | |||
| URL | http://www.logic.univie.ac.at/~sdf/ | Metadata | ||
12. Glossary of First-Order Logic |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Other Lists of Documents | |||
| URL | http://www.earlham.edu/~peters/courses/logsys/glossary.htm | Metadata | ||
13. Graduiertenkolleg 806: Mathematische Logik und Anwendungen (Uni Freiburg) |
||||
| Subject Class | General; Mathematical logic and foundations | |||
| Source Type | (Current) Research Projects | |||
| URL | http://gradlog.informatik.uni-freiburg.de/gradlog/ | Metadata | ||
14. Gödel, Escher, Bach |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Special Subject Virtual Libraries | |||
| URL | http://www-personal.umich.edu/~jlawler/geb.html | Metadata | ||
15. Hjorth, Gregory - University of California, Los Angeles |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Personal Homepage | |||
| URL | http://www.math.ucla.edu/~greg/ | Metadata | ||
16. Hodgson, Bernard R. - Université Laval |
||||
| Subject Class | Mathematical logic and foundations; Computer science; Mathematics education; History | |||
| Source Type | Personal Homepage | |||
| URL | http://www.mat.ulaval.ca/pages/hodgson | Metadata | ||
17. Hrushovski, Ehud - Hebrew University of Jerusalem |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Personal Homepage | |||
| URL | http://www.ma.huji.ac.il/~ehud/ | Metadata | ||
18. Indiana University - Program in Pure and Applied Logic |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Research Institutes | |||
| URL | http://www.indiana.edu/~iulg/ | Metadata | ||
19. Just, Winfried - Ohio Unoversity |
||||
| Subject Class | Mathematical logic and foundations; Combinatorics; Biology and behavioral sciences; Economics, operations research, programming, games | |||
| Source Type | Personal Homepage | |||
| URL | http://www.math.ohiou.edu/~just/ | Metadata | ||
20. Kanamori, Akihiro - Boston University |
||||
| Subject Class | Mathematical logic and foundations | |||
| Source Type | Personal Homepage | |||
| URL | http://math.bu.edu/people/aki/ | Metadata | ||
This document was created using Allegro V31.
© SSG-FI, SUB Göttingen, 1997-2013