 |
/ Home
/ Web Directory / Science / Math / Logic and Foundations / Institutions / North America (18)
Web Sites in Category North America
Berkeley, University of California - Group in Logic and the Methodology of Science.
Brigham Young University - Laboratory for Applied Logic.
Carnegie Mellon University - Pure and Applied Logic.
Florida, University of - Logic and Set Theory.
Indiana University - Group in Pure and Applied Logic.
Las Cruces, New Mexico - Laboratory for Logic,Databases and Advanced Programming.
Los Angeles, University of California - Logic and Set Theory.
Michigan, University of - Logic and Foundations.
Minnesota, University of - Mathematical Logic.
New York, City University - Logic at CUNY and in the New York City region.
Notre Dame - Mathematical Logic.
Pennsylvania State - Mathematical Logic.
Pennsylvania, University of - Logic and Computation Group.
SRI International - Computer Science Laboratory: Formal Methods and Dependable Systems; Rewriting Logics and Systems.
Stanford - Logic Group.
University of Calgary - Logic Research Group.
University of Maryland at College Park - Computer Science Department, Active Logic Group.
Urbana-Champaign, University of Illinois - Logic.
|
|
|
|
