Home    Contact Us    Disclaimer     Privacy

Advertisement

Search 1Up Science


Science A-Z

A | B | C | D | E | F | G
H | I | J | K | L | M | N
O | P | Q | R | S | T
U | V | W X | Y | Z

Agriculture

Animals
Economics
Farming Practices
Field Crops
Forestry
Genetics
Horticulture
Pest Management
Soils
More..

Alternative Science

Alchemy
Archaeology
Astronomy
Cryptozoology
Extraterrestrial Life
Historical Anomalies
Lost Civilizations
Unproven Energy Concepts
Weather Control
More..

Astronomy

Astrophysics
Calendars and Timekeeping
Cosmology
Eclipses and Occultations
Extrasolar Planets
Galaxies
Solar System
Space Exploration
Stars
More..

Biology

Biochemistry
Biotechnology
Botany
Ecology
Food Science
Genetics
Microbiology
Neurobiology
Virology
Zoology
More..

Chemistry

Biochemistry
Chemical Engineering
Electrochemistry  
Elements
Geochemistry
Inorganic  
Molecular Modeling
Organic
Physical
More..

Earth Sciences

Ecology
Geology
Geomatics
Geophysics
Global Environmental Change
Meteorology
Oceanography
Paleontology
Water Resources
More..

Environment

Air Quality
Ecology
Energy
Health
Monitoring
Forests and Rainforests
Noise
Pollution Prevention and Recycling
More..

Math

Algebra
Chaos and Fractals
Differential Equations
Geometry
Logic and Foundations
Number Theory  
Numerical Analysis
Operations Research
Topology  
More..

Physics

Alternative  
Astronomy  
Astrophysics
Crystallography
Fluid Mechanics and Dynamics
Geophysics
Optics
Particle
Quantum Mechanics
More..

Social Sciences

Anthropology
Archaeology
Cognitive Science
Economics
Gay, Lesbian, and Bisexual
Language and Linguistics
Psychology
Sociology
Urban and Regional Planning s
More..

Technology

Acoustics
Aerospace
Chemical Engineering
Electronics
Energy
Mining
Nanotechnology
Nuclear Power
Petroleum Engineering
Television
More..



1Up Science: Links Directory: Math: Logic and Foundations

Description

Categories


Conferences
Directories
Educational Resources
Encyclopedia Articles
Logicians

Professional Associations
Publications
Research Centers
Software


Category Theory
Computability
Computational Logic
Foundations
History

Model Theory
Nonstandard Logics and Extensions
Philosophy of Logic
Proof Theory
Set Theory


See Related Categories

Computers: Artificial Intelligence: Philosophy
Computers: Programming: Languages: Logic-based
Society: Philosophy: Philosophy of Language
Society: Philosophy: Philosophy of Science: Philosophy of Mathematics

Other Languages


   

Spanish  


Sites

Abstract Service
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.

Encounters with Infinity by Michael VanLaanen
Uses a storybook approach to explain the author's concept of infinity.

Math Front: LO Logic
Front end for the logic section of the mathematics e-print arXiv.

Mathematical Logic and Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.

Mind Versus Goedel by Damjan Bojadziev
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

Perfect Symmetry Number Theory
Uses nonstandard models to develop a theory based upon perfect symmetry modeled throughout arithmetic, algebra, analytic geometry, analytic trigonometry and calculus. Must download to view.



Link to this page

Copy the below code to your Web page


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.

Home     Contact Us    Disclaimer     Privacy

Copyright © 2002 1Up Science All Rights reserved.