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. Downey, Rod - Victoria University; Wellington |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Personal Homepage |
| URL |
http://homepages.ecs.vuw.ac.nz/~downey/
|
Metadata |
9. Factasia Logic |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Author Specific Site |
| URL |
http://www.rbjones.com/rbjpub/logic/
|
Metadata |
10. 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 |
11. 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 |
12. 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 |
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. 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 |
15. 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 |
16. Kanamori, Akihiro - Boston University |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Personal Homepage |
| URL |
http://math.bu.edu/people/aki/
|
Metadata |
17. Kechris, Alexander S. - California Institute of Technology |
| Subject Class |
Mathematical logic and foundations; Set theory |
| Source Type |
Personal Homepage |
| URL |
http://www.math.caltech.edu/people/kechris.html
|
Metadata |
18. Keisler, H. Jerome - University of Wisconsin |
| Subject Class |
Mathematical logic and foundations; Real functions |
| Source Type |
Personal Homepage |
| URL |
http://www.math.wisc.edu/~keisler/
|
Metadata |
19. Kunen, Kenneth - University of Wisconsin |
| Subject Class |
Mathematical logic and foundations; General Topology; Measure and integration |
| Source Type |
Personal Homepage |
| URL |
http://www.math.wisc.edu/~kunen/
|
Metadata |
20. The Kurt Gödel Society |
| Subject Class |
Mathematical logic and foundations; History |
| Source Type |
Organizations and Societies |
| URL |
http://kgs.logic.at/
|
Metadata |