Results: 1-20 | 21-40 | 41-60 | 61-61
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 in 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 and set theory around the world | ||||
Subject Class | Mathematical logic and foundations | |||
Source Type | Special Subject Virtual Libraries | |||
URL | http://settheory.net/world | Metadata | ||
28. Logic Journal of the IGPL | ||||
Subject Class | Mathematical logic and foundations | |||
Source Type | Journals | |||
URL | http://jigpal.oxfordjournals.org | Metadata | ||
29. 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 | ||
30. Mathematical Logic around the world | ||||
Subject Class | Mathematical logic and foundations | |||
Source Type | Special Subject Virtual Libraries | |||
URL | http://world.logic.at/ | Metadata | ||
31. 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 | ||
32. Miller, Arnold W. - University of Wisconsin | ||||
Subject Class | Mathematical logic and foundations | |||
Source Type | Personal Homepage | |||
URL | http://www.math.wisc.edu/~miller/ | Metadata | ||
33. The Mizar Project | ||||
Subject Class | Mathematical logic and foundations | |||
Source Type | Software and Expert Systems | |||
URL | http://www.cs.ualberta.ca/~piotr/Mizar/ | Metadata | ||
34. [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 | ||
35. The n-Category Café | ||||
Subject Class | General; Mathematical logic and foundations | |||
Source Type | Personal Weblog (Blog) | |||
URL | http://golem.ph.utexas.edu/category/ | Metadata | ||
36. 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 | ||
37. A Neighborhood of Infinity | ||||
Subject Class | General; Mathematical logic and foundations | |||
Source Type | Personal Weblog (Blog) | |||
URL | http://sigfpe.blogspot.com/ | Metadata | ||
38. Nies, André - University of Auckland | ||||
Subject Class | Mathematical logic and foundations | |||
Source Type | Personal Homepage | |||
URL | http://www.cs.auckland.ac.nz/~nies/ | Metadata | ||
39. nLab | ||||
Subject Class | General; Mathematical logic and foundations | |||
Source Type | Communication Forums | |||
URL | http://ncatlab.org/nlab/show/HomePage | Metadata | ||
40. Nordic Journal of Philosophical Logic [obsolete] | ||||
Subject Class | Mathematical logic and foundations | |||
Source Type | Journals | |||
URL | was: http://www.hf.uio.no/ifikk/filosofi/njpl/ | Metadata |
This document was created using Allegro V36.
© SSG-FI, SUB Göttingen, 1997-2013