MathGuide: Mathematical logic and foundations (61 records)

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

good 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
good 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
good 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
good 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
good 25. The Kurt Gödel Society
Subject Class Mathematical logic and foundations; History
Source Type Organizations and Societies
URL http://kgs.logic.at/ Metadata
good 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
none 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
excellent 28. Logic Journal of the IGPL
Subject Class Mathematical logic and foundations
Source Type Journals
URL http://jigpal.oxfordjournals.org Metadata
fair 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
good 30. Mathematical Logic around the world
Subject Class Mathematical logic and foundations
Source Type Special Subject Virtual Libraries
URL http://world.logic.at/ Metadata
good 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
good 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
good 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
good 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
none 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
good 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
none 37. A Neighborhood of Infinity
Subject Class General; Mathematical logic and foundations
Source Type Personal Weblog (Blog)
URL http://sigfpe.blogspot.com/ Metadata
good 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
good 39. nLab
Subject Class General; Mathematical logic and foundations
Source Type Communication Forums
URL http://ncatlab.org/nlab/show/HomePage Metadata
fair 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


FID Mathfidmath | MathGuideMathGuide |Subject CatalogSubject |Source Type CatalogSource Type |SearchLocal Search |Index ScanIndex Scan

This document was created using Allegro V36.

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