Mathematical logic and foundations

(61 records)

Results: 1-20 | 21-40 | 41-60 | 61-61

21. Kechris, Alexander S. - California Institute of Technology (SUB) | ||||
---|---|---|---|---|

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 (SUB) | ||||

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 (SUB) | ||||

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 (SUB) | ||||

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 (SUB) | ||||

Subject Class | Mathematical logic and foundations; History | |||

Source Type | Organizations and Societies | |||

URL | http://kgs.logic.at/ | Metadata | ||

26. Levitz, Hilbert - Florida State University (SUB) | ||||

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 (SUB) | ||||

Subject Class | Mathematical logic and foundations | |||

Source Type | Special Subject Virtual Libraries | |||

URL | http://settheory.net/world | Metadata | ||

28. Logic Journal of the IGPL (SUB) | ||||

Subject Class | Mathematical logic and foundations | |||

Source Type | Journals | |||

URL | http://jigpal.oxfordjournals.org | Metadata | ||

29. Mathematical Foundations of Programming Semantics (MFPS) (SUB) | ||||

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 (SUB) | ||||

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 (SUB) | ||||

Subject Class | Mathematical logic and foundations | |||

Source Type | Personal Homepage | |||

URL | http://tan.epfl.ch/~pmichel/ | Metadata | ||

32. Miller, Arnold W. - University of Wisconsin (SUB) | ||||

Subject Class | Mathematical logic and foundations | |||

Source Type | Personal Homepage | |||

URL | http://www.math.wisc.edu/~miller/ | Metadata | ||

33. The Mizar Project (SUB) | ||||

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 (SUB) | ||||

Subject Class | Mathematical logic and foundations | |||

Source Type | University Departments | |||

URL | http://wwwmath.uni-muenster.de/logik/ | Metadata | ||

35. The n-Category Café (SUB) | ||||

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 (SUB) | ||||

Subject Class | Mathematical logic and foundations | |||

Source Type | Personal Homepage | |||

URL | http://www.math.ucla.edu/~ineeman/ | Metadata | ||

37. A Neighborhood of Infinity (SUB) | ||||

Subject Class | General; Mathematical logic and foundations | |||

Source Type | Personal Weblog (Blog) | |||

URL | http://sigfpe.blogspot.com/ | Metadata | ||

38. Nies, André - University of Auckland (SUB) | ||||

Subject Class | Mathematical logic and foundations | |||

Source Type | Personal Homepage | |||

URL | http://www.cs.auckland.ac.nz/~nies/ | Metadata | ||

39. nLab (SUB) | ||||

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] (SUB) | ||||

Subject Class | Mathematical logic and foundations | |||

Source Type | Journals | |||

URL | was: http://www.hf.uio.no/ifikk/filosofi/njpl/ | Metadata |

Results: 1-20 | 21-40 | 41-60 | 61-61

VLibMath | MathGuide |Subject |Source Type |Local Search

This document was created using *Allegro V31*.

© SSG-FI, SUB Göttingen, 1997-2013