searchuk.co.uk The UK's Top Choice for Finding Products & Services
HOME    current search:     last search:
Similar Searches person person locate name search person finder lost family finding someone peoples classmates persons people people search people finder famous people people in of people find people people's people magazine the people nice people people of people who for people ugly people many people pictures of people how many people people find free people fat people young people black people village people people are people of the people com free people search why do people dead people old people little people why people finding people famous people from people for homeless people of the people people have famous people in picture people		Win a Cash Prize Today This promotion won't last long so start surfing around because somewhere on this site we've hidden a cash prize. That's right, all you need to do is search around our site, find the prize, enter your details and wait for the mail. It's that simple and for many of our past winners, it was great fun discovering new things, reading the latest news and catching up on trends related to our hobbies. searchuk.co.uk is a search site dedicated to helping users find what they are looking for. We specialize in the UK market and offer the most up-to-date results on the net. Companies that purchase or sell products and services in the UK can be found in the searchuk.co.uk directory which currently contains more than 2 million listings.   Top>Science>Math>Logic and Foundations>People> 1.  Do The Math on eBay.co.uk eBay.co.uk offers great deals on items related to Do The Math. ... Speed Math for Kids: The Fast, Fun Way To Do Basic Calc, ends Jan-9 21:37 GMT. ... search-desc.ebay.co.uk 2.  Do The Math: A Novel Of The Inevitable | Tesco Books Buy Do The Math: A Novel Of The Inevitable by Philip B Persinger for only £8.55 at Tesco.com. Tesco's has thousands of other books for you to get stuck into www.tesco.com 3.  Do The Math: Secrets, Lies, And Algebra at Abebooks.co.uk Book Information for Do The Math: Secrets, Lies, And Algebra by Wendy (author) Lichtman at AbeBooks www.abebooks.co.uk Aczel, Peter University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic. (http://www.cs.man.ac.uk/~petera/) Andrews, Peter B. Carnegie Mellon University - type theory, automated theorem proving. (http://www.cs.cmu.edu/afs/cs.cmu.edu/user/andrews/www/andrew) Avigad, Jeremy Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics. (http://www.andrew.cmu.edu/~avigad/) Awodey, Steve Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. (http://www.andrew.cmu.edu/user/awodey/) Baldwin, John T. University of Illinois, Chicago - Model theory (finite and infinite). (http://www.math.uic.edu/~jbaldwin/) Barendregt, Henk University of Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular. (http://www.cs.kun.nl/~henk/) Bartoszynski, Tomek Boise State University - Set theory. (http://diamond.boisestate.edu/~tomek/) Bellin, Gianluigi University of Leeds - Proof theory, the formulae-as-types correspondence and semantics of programming languages. (http://www.amsta.leeds.ac.uk/~bellin/) Berline, Chantal University of Paris 7 - Lambda calculus. (http://www.logique.jussieu.fr/www.berline/) Blass, Andreas R. University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science. (http://www.math.lsa.umich.edu/~ablass/) Bolotov, Alexander Manchester Metropolitan University - Extension of the clausal temporal resolution method to branching-time temporal logics. (http://www.doc.mmu.ac.uk/STAFF/A.Bolotov/) Bouscaren, Elisabeth CNRS / University of Paris 7 - Model theory and algebraic geometry. (http://www.logique.jussieu.fr/www.elibou/) Buechler, Steven University of Notre Dame - Model theory. (http://www.nd.edu/~steve/) Burris, Stanley University of Waterloo - Universal algebra, logic, computers. (http://www.thoralf.uwaterloo.ca/) Buss, Samuel R. University of California, San Diego - Proof theory, computational complexity. (http://math.ucsd.edu/~sbuss/) Carlstrom, Jesper Stockholm University - Constructive type theory and related mathematics. (http://www.math.su.se/~jesper/) Carnielli, Walter A. State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics. (http://www.unicamp.br/cle/carniell.htm) Chaitin, Gregory J. IBM Research - Algorithmic information theory. (http://www.cs.auckland.ac.nz/CDMTCS/chaitin/) Chatzidakis, Zoé CNRS/University of Paris 7 - Model theory. (http://www.logique.jussieu.fr/www.zoe/) Cholak, Peter University of Notre Dame - Recursion theory. (http://www.science.nd.edu/math/faculty/cholak.shtml) Cummings, James Carnegie Mellon University - Set theory. (http://www.math.cmu.edu/users/jcumming/) Danos, Vincent University of Paris 7 - Proof theory, linear logic. (http://www.logique.jussieu.fr/www.danos/) Darnière, Luck University of Angers, France - Model theory. (http://math.univ-angers.fr/~darniere/home_uk.html) Dixon, Clare Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multi-agent systems. (http://www.doc.mmu.ac.uk/STAFF/C.Dixon/) Ebbinghaus, Heinz-Dieter University of Freiburg - Finite model theory. (http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.) Edmundo, Mario Oxford University - Cohomology, K-theory and sheaves. (http://www.maths.ox.ac.uk/~edmundo/) Enderton, Herbert B. UCLA - Recursion theory, definability theory. (http://www.math.ucla.edu/~hbe/) Etchemendy, John Stanford University - Philosophical logic, semantics, and philosophy of language. (http://www-csli.stanford.edu/hp/etchemendy.html) Feferman, Solomon Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic. (http://math.Stanford.EDU/~feferman/) Fisher, Michael Manchester Metropolitan University - Distributed artificial intelligence and multi-agent systems, programming language design, formal specification and verification, parallel and agent-based theorem-proving, temporal and modal theorem-proving techniques. (http://www.doc.mmu.ac.uk/STAFF/M.Fisher/) Fitting, Melvin City University of New York - Logic in computer science, mathematics, and philosophy. (http://comet.lehman.cuny.edu/fitting/) Flum, Jörg University of Freiburg - Finite model theory. (http://logik.mathematik.uni-freiburg.de/personen/Flum.html) Font, Josep Maria University of Barcelona - Algebraic logic. (http://www.mat.ub.es/~font/) Foreman, Matthew UC Irvine - Set theory. (http://www.math.uci.edu/faculty/mforeman.html) Forster, T. E. University of Cambridge - Set theory, type theory. (http://www.dpmms.cam.ac.uk/~tf/) Friedman, Harvey Ohio State University. (http://www.math.ohio-state.edu/foundations/) Friedman, Sy D. University of Vienna and MIT - Set theory. (http://www-math.mit.edu/~sdf/) Gardener, Tim Oxford University - Model theory of the p-adics, group theory, algebraic geometry. (http://www.maths.ox.ac.uk/~gardener/) Gehrke, Mai New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices. (http://www.math.nmsu.edu/mgehrke/mgehrke.html) Gerla, Giangiacomo University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry. (http://www.dmi.unisa.it/people/gerla/www/) Ghidini, Chiara Manchester Metropolitan University - Logics for federated databases and information integration, multi-agent systems, context-based reasoning, and belief contexts. (http://www.doc.mmu.ac.uk/STAFF/C.Ghidini/) Goldstern, Martin University of Technology, Vienna - Set theory. (http://info.tuwien.ac.at/goldstern/) Grossberg, Rami Carnegie Mellon University - Model theory. (http://www.math.cmu.edu/users/rami/) Hähnle, Reiner Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification. (http://www.cs.chalmers.se/~reiner/) Herwig, Bernhard University of Freiburg - Model theory. (http://sunpool.mathematik.uni-freiburg.de/home/herwig/) Hindley, J. R. University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory. (http://www-maths.swan.ac.uk:80/staff/jrh/) Hjorth, Greg UCLA - Descriptive set theory, countable models, definable equivalence relations. (http://www.math.ucla.edu/~greg/) Hodges, Wilfrid University of London - Model theory. (http://www.maths.qmw.ac.uk/~wilfrid/) Holmes, Randall Boise State University - Set theory: New Foundations, automated theorem proving. (http://diamond.boisestate.edu/~holmes/) Howard, Paul Eastern Michigan University - Axiom of choice. (http://www.emunix.emich.edu/~phoward/) Hustadt, Ullrich University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic. (http://www.csc.liv.ac.uk/~ullrich/) Hyland, J. Martin E. University of Cambridge - Categorical logic, game semantics and logic in computer science. (http://www.dpmms.cam.ac.uk/~martin/index.html) Jech, Thomas Pennsylvania State University - Set theory. (http://www.math.psu.edu/jech/) Jockusch, Carl G. University of Illinois, Urbana Champaign - Recursion theory. (http://www.math.uiuc.edu/~jockusch/) Junker, Markus University of Freiburg - Model theory. (http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker) Kaiser, Klaus University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming. (http://math.uh.edu/~klaus/) Kanamori, Akihiro Boston University - Set theory. (http://math.bu.edu/people/aki/) Kastermans, Bart University of Michigan - Set theory. (http://www.kastermans.nl/bart/) Kaye, Richard University of Birmingham - Model theory. (http://for.mat.bham.ac.uk/R.W.Kaye/) Kechris, Alexander S. Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis. (http://www.math.caltech.edu/people/kechris.html) Knight, Julia F. University of Notre Dame - Recursion theory. (http://www.science.nd.edu/math/faculty/knight.shtml) Kunen, Kenneth University of Wisconsin, Madison - Set theory. (http://www.math.wisc.edu/~kunen/) Lafont, Yves University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting. (http://iml.univ-mrs.fr/~lafont/welcome.html) Larson, Jean A. University of Florida - Set theory, combinatorics. (http://www.math.ufl.edu/~jal/) Lascar, Daniel CNRS / University of Paris 7 - Model theory. (http://www.logique.jussieu.fr/www.lascar/) Lempp, Steffen University of Wisconsin, Madison - Computability, recursion theory. (http://www.math.wisc.edu/~lempp/) Lessmann, Olivier University of Illinois, Chicago - Model theory. (http://www.math.uic.edu/~lessmann/) Luo, Zhaohui Durham University, UK - Type theory, theoretical computer science and semantics of natural languages. (http://www.dur.ac.uk/~dcs0zl/) Makowsky, Johann (Janos) A. Technion, Israel - Logic in computer science, finite model theory. (http://www.cs.technion.ac.il/~janos/index.html) Marcos, João State University of Campinas, Brazil - Interested in both mathematical and philosophical logic, and especially non-classical logics such as paraconsistent, many-valued and modal logics, as well as formal semantics to them, and combinations of logics. (http://www.geocities.com/jm_logica/) Marker, David University of Illinois, Chicago - Model theory. (http://www.math.uic.edu/~marker/) Matiyasevich, Yuri Steklov Institute, St. Petersburg - Algorithmical number theory. (http://logic.pdmi.ras.ru/~yumat) McKenzie, Ralph Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics. (http://www.math.vanderbilt.edu/~mckenzie/) Mileti, Joe University of Illinois at Urbana-Champaign - Computability theory. (http://www.math.uiuc.edu/~mileti/) Miller, Dale Penn State University - Linear logic, proof search and declarative programming languages. (http://www.cse.psu.edu/~dale/) Mitchell, William University of Florida - Set theory. (http://www.math.ufl.edu/~mitchell/) Monk, Donald University of Colorado, Boulder - Boolean algebras. (http://www.Colorado.EDU/math/courses/monkd/) Moreno, Javier University of Illinois, Urbana-Champaign - Model theory and applications. (http://www.math.uiuc.edu/~jamoreno) Moschovakis, Yiannis N. UCLA - Set theory, recursion theory. (http://www.math.ucla.edu/~ynm/) Nelson, Edward Princeton University - Bounded arithmetic, automated proof verification (QED). (http://www.math.princeton.edu/~nelson/index.html) Nerode, Anil Cornell University - Computability theory, logic in computer science, history of logic. (http://www.math.cornell.edu/~anil/)