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