21. 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 |
22. 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 |
23. Krajicek, Jan - Charles University of Prague |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Personal Homepage |
| URL |
http://www.karlin.mff.cuni.cz/~krajicek/
|
Metadata |
24. 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 |
25. The Kurt Gödel Society |
| Subject Class |
Mathematical logic and foundations; History |
| Source Type |
Organizations and Societies |
| URL |
http://kgs.logic.at/
|
Metadata |
26. Levitz, Hilbert - Florida State University |
| Subject Class |
Mathematical logic and foundations; Computer science |
| Source Type |
Personal Homepage |
| URL |
http://www.cs.fsu.edu/~levitz/
|
Metadata |
27. Logic Journal of the IGPL |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Journals |
| URL |
http://jigpal.oxfordjournals.org
|
Metadata |
28. Mathematical Foundations of Programming Semantics (MFPS) |
| Subject Class |
Mathematical logic and foundations; Computer science |
| Source Type |
Organizations and Societies |
| URL |
http://events.cs.bham.ac.uk/mfps21/
|
Metadata |
29. Mathematical Logic around the world |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Special Subject Virtual Libraries |
| URL |
http://world.logic.at/
|
Metadata |
30. Michel, Philippe - École Polytechnique Fédérale de Lausanne |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Personal Homepage |
| URL |
http://tan.epfl.ch/~pmichel/
|
Metadata |
31. Miller, Arnold W. - University of Wisconsin |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Personal Homepage |
| URL |
http://www.math.wisc.edu/~miller/
|
Metadata |
32. The Mizar Project |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Software and Expert Systems |
| URL |
http://www.cs.ualberta.ca/~piotr/Mizar/
|
Metadata |
33. [Münster] Universität Münster - Fachbereich Mathematik und Informatik - Institut für Mathematische Logik und Grundlagenforschung |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
University Departments |
| URL |
http://wwwmath.uni-muenster.de/logik/
|
Metadata |
34. The n-Category Café |
| Subject Class |
General; Mathematical logic and foundations |
| Source Type |
Personal Weblog (Blog) |
| URL |
http://golem.ph.utexas.edu/category/
|
Metadata |
35. Neeman, Itay - University of California, Los Angeles |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Personal Homepage |
| URL |
http://www.math.ucla.edu/~ineeman/
|
Metadata |
36. A Neighborhood of Infinity |
| Subject Class |
General; Mathematical logic and foundations |
| Source Type |
Personal Weblog (Blog) |
| URL |
http://sigfpe.blogspot.com/
|
Metadata |
37. Nies, André - University of Auckland |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Personal Homepage |
| URL |
http://www.cs.auckland.ac.nz/~nies/
|
Metadata |
38. nLab |
| Subject Class |
General; Mathematical logic and foundations |
| Source Type |
Communication Forums |
| URL |
http://ncatlab.org/nlab/show/HomePage
|
Metadata |
39. Nordic Journal of Philosophical Logic |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Journals |
| URL |
http://www.hf.uio.no/ifikk/filosofi/njpl/
|
Metadata |
40. Peter, Kobi - University of Haifa |
| Subject Class |
Mathematical logic and foundations |
| Source Type |
Personal Homepage |
| URL |
http://math.haifa.ac.il/kobi/
|
Metadata |