This website is being archived.

Please visit the new Logic group page instead.

SOME USEFUL LINKS

If you would like to find out more about logic, or the Yorkshire region, you might find some of the outside links below useful.

LOGIC LINKS

AROUND YORKSHIRE

British Logic Colloquium Association for Symbolic Logic Mathematical Logic Around the World Foundations of Mathematics Association Computability in Europe The Kurt Gödel Society Alan Turing Homepage: and the Alan Turing Year 2012 centenary Computability Theory Home Page Computability and Complexity in Analysis Finite Model Theory Logic in Computer Science (LICS) European Association for Logic, Language and Information (FoLLI) and the Interest Group in Pure and Applied Logics (IGPL) Recursive Function Theory Newsletter Some seminal figures: Charles Babbage and Ada Lovelace, Gottlob Frege, Georg Cantor, David Hilbert and his Tenth Problem, Bertrand Russell, Alfred Tarski

The City of Leeds ... ... and About the Yorkshire Dales: Leeds City Council homepage Royal Armouries Visit York Yorkshire Sculpture Park and the Henry Moore Institute Haworth and Brontë Country North York Moors National Park Malham Cove Welcome to the Yorkshire coast ... Leeds International Piano Competition Leeds attractions Harewood House The National Museum of Photography, Film & Television Magna Science Adventure Centre Huddersfield Contemporary Music Festival Climbing indoors ... and outdoors Leeds and Liverpool Canal Leeds United Football Club Rugby and cricket at Headingley BBC Leeds West Yorkshire Playhouse Opera North