Mathematical logic is a branch of mathematics that has close connections to both computer science and philosophical logic. The field includes both the mathematical study of logic and its applications to other areas of mathematics. Mathematical logic is often divided into the subfields of set theory, model theory, recursion theory, proof theory, and constructive mathematics.
Regular Websites
Canadian Integrated Taxonomic Information System (ITIS)
Database where one can search scientific or common names in English or French. - Canadian Integrated Taxonomic Information System (ITIS)
http://www.cbif.gc.ca/pls/itisca/taxaget?p_ifx=aafc
EvoWiki Taxonomy and Phylogeny
EvoWiki entry for taxonomy (classification) and phylogeny (evolutionary history). Page includes phenetic taxonomy, phylogenetic (cladistic) taxonomy, evolutionary taxonomy, creationist taxonomy, nomenclature, and phylocode. - EvoWiki Taxonomy and Phylogeny
http://wiki.cotch.net/index.php/Taxonomy_and_Phylogeny
Integrated Taxonomic Information System
Page is a result of a collaboration between Canada, the USA and Mexico. Taxonomic information is available on microbes, fungi, animals, and plants of North America and the world. - Integrated Taxonomic Information System
http://www.itis.gov/
Intute: Health and Life Sciences - Systematics & Taxonomy
Free service providing web resources for education and research. Page is a collaborative project by a network of UK universities. Sub-categories include: animals, general topics, history/people, methodology/protocols, microorganisms/fungi, nomenclature, organisations, plants, and software. - Intute: Health and Life Sciences - Systematics & Taxonomy
http://www.intute.ac.uk/healthandlifesciences/cgi-bin/browse_natural.pl?id=118096&gateway=natural
Page providing a complete interactive tree of life and online tools for making interactive phylogenetic trees. - iTOL Interactive Tree of Life
http://itol.embl.de/index.shtml
Supported by the Wikimedia Foundation, page aims to classify all species, living and extinct. Any user may contribute or edit articles. - Main Page - Wikispecies
http://species.wikimedia.org/wiki/Main_Page
The Species 2000 project is working to provide a validated checklist of all species in the world. It is a collaboration of database organisations. Databases currently cover only 50% of know taxa, so there is still substantial work to be done. - Species 2000
http://www.sp2000.org/index.php
Lists and counts the number of species in each group known to be related to each other through evolution. - Species Accounts
http://www.speciesaccounts.org/
Taxonomy and Systematics - Natural History Museum
General taxonomy information page from the London Museum of Natural History in the UK. Sections include: a description and history of taxonomy, identification keys, tools and methods, and a nature navigator. - Taxonomy and Systematics - Natural History Museum
http://www.nhm.ac.uk/nature-online/science-of-natural-history/taxonomy-systematics/index.html
Online flower encyclopedia with information on flower, flower gifts, the international flower trade and flower delivery. Includes floral news, upcoming floral shows and events, and insight from industry experts. - The Flower Expert
http://www.theflowerexpert.com
The Tree of Life Web Project is an international project carried out by biologists around the world to provide biology information for free. You can find out about all of Earth's organisms here; everything from plants to worms to humans. Scientists can also contribute content to the site. - Tree of Life Web
http://www.tolweb.org/
Collaborative page by scientists from all over the world. The project is an attempt to provide information and images for every species that is or was. - Tree of Life Web Project
http://tolweb.org/tree/phylogeny.html