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. 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 |
14. 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 |
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 |
| 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 |