21. 03: Mathematical Logic And Foundations From The mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

Search Subject Index MathMap Tour ... Help! ABOUT: Introduction History Related areas Subfields POINTERS: Texts Software Web links Selected topics here 03: Mathematical logic and foundations Introduction Mathematical Logic is the study of the processes used in mathematical deduction. The subject has origins in philosophy, and indeed it is only by nonmathematical argument that one can show the usual rules for inference and deduction (law of excluded middle; cut rule; etc.) are valid. It is also a legacy from philosophy that we can distinguish semantic reasoning ("what is true?") from syntactic reasoning ("what can be shown?"). The first leads to Model Theory, the second, to Proof Theory. Students encounter elementary (sentential) logic early in their mathematical training. This includes techniques using truth tables, symbolic logic with only "and", "or", and "not" in the language, and various equivalences among methods of proof (e.g. proof by contradiction is a proof of the contrapositive). This material includes somewhat deeper results such as the existence of disjunctive normal forms for statements. Also fairly straightforward is elementary first-order logic, which adds quantifiers ("for all" and "there exists") to the language. The corresponding normal form is prenex normal form. In second-order logic, the quantifiers are allowed to apply to relations and functions to subsets as well as elements of a set. (For example, the well-ordering axiom of the integers is a second-order statement). So how can we characterize the set of theorems for the theory? The theorems are defined in a purely procedural way, yet they should be related to those statements which are (semantically) "true", that is, statements which are valid in every model of those axioms. With a suitable (and reasonably natural) set of rules of inference, the two notions coincide for any theory in first-order logic: the Soundness Theorem assures that what is provable is true, and the Completeness Theorem assures that what is true is provable. It follows that the set of true first-order statements is effectively enumerable, and decidable: one can deduce in a finite number of steps whether or not such a statement follows from the axioms. So, for example, one could make a countable list of all statements which are true for all groups.

22. PCML Home Page Volume I Propositional and FirstOrder logic. Volume II Computability and Incompleteness. http://www.trentu.ca/academic/math/sb/misc/pcml.html

A Problem Course in Mathematical Logic ... is a freeware mathematics text by Stefan Bilaniuk The home page for the text has moved to: http://www.trentu.ca/mathematics/sb/pcml/ Stefan Bilaniuk's Home Page Department of Mathematics Trent University Maintained by Stefan Bilaniuk . Last updated 2001.03.07.

23. Www.wiley-vch.de mathematical logic Quarterly is the international journal for the publication of original contributions on mathematical http://www.wiley-vch.de/berlin/journals/mlq

Dear visitor, The site you have bookmarked is no longer available. Please change your bookmark to New Bookmark We look forward to welcoming you to the new site And we apologize for any inconvenience caused. WILEY-VCH Home

24. Mathematical Logic At Penn State mathematical logic.Category Science Math Institutions North America......mathematical logic at Penn State. Introduction. The Penn State mathematical logicresearch staff consists of Paul Axt. Professor of Mathematics, Retired. http://www.math.psu.edu/simpson/Logic.html

25. Mathematical Logic At Uppsala University mathematical logic.Category Science Math logic and Foundations Institutions Europe...... mathematical logic. Dept. of Mathematics, Group for mathematical logic URLhttp//www.math.uu.se/logik/index.html Anton Setzer, setzer@math.uu.se http://www.math.uu.se/logik/

Uppsala University MIC Department of Mathematics Mathematical Logic Department of Mathematics, Uppsala University Välkommen! Research profile The members of the group Graduate and undergraduate courses Stockholm-Uppsala logic seminar. ... Mittag-Leffler Seminar Logic servers world-wide Uppsala Beurlingbiblioteket MathSciNet ... Matematiska Institutionen Box 480 S-751 06 Uppsala Sweden Visiting Address: Polacksbacken , Hus 2 How to get there Links Go Key Resource ... Matematiska institutionen

26. Mathematical Logic At The University Of Bonn mathematical logic Group @ the University of Bonn mathematical logic Group. Department of Mathematics. Fachgruppe Mathematik/Informatik http://www.uni-bonn.de/logic/logic.html

Mathematical Logic Group Department of Mathematics Fachgruppe Mathematik/Informatik Mathematisch-Naturwissenschaftliche Fakultät University of Bonn Part of the Interdisciplinary Cooperation LOGiC in BOnN (LiB) Members Alumni Research ... Links (incl. our famous " Mathematical Logic around the world ") Informationen zum Studium der Mathematischen Logik in Bonn Contact Address: Mathematisches Institut Be4Zi27 (Office Hours Mon-Thu 9-14, Fri 9-12) D-53115 Bonn Germany Phone: Fax: + 49 - 228 - 73 -7916 (please label the fax clearly with the name of the intended recipient) Members ( Mitglieder und Angehörige Professors ( Hochschullehrer Prof. Dr. Peter Koepke koepke@math.uni-bonn.de ), Be4Zi44 Phone 73-2206; Office Hour: Wednesday 12-13 Scientific Staff ( Wissenschaftliche Mitarbeiter Dr. loewe@math.uni-bonn.de ), Be4Zi24, Phone 73-2928; Office Hour: Wednesday 11-12 PD Dr. Heike Mildenberger heike@math.uni-bonn.de ) [currently on leave in Vienna] Dr. Michael Möllerfeld mimoe@math.uni-bonn.de ), Be4Zi25, Phone 73-3352 Students ( Studenten Dipl.-Math.

27. Journal Of Mathematical Logic (JML) World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.Category Science Math logic and Foundations Publications Journals......The Journal of mathematical logic provides an important forum for the communicationof original contributions in all areas of mathematical logic and its http://www.worldscinet.com/jml/jml.shtml

What's New New Journals Browse Journals Search ... Mathematics Journal of Mathematical Logic (JML) The Journal of Mathematical Logic (JML) provides an important forum for the communication of original contributions in all areas of mathematical logic and its applications. It aims at publishing papers at the highest level of mathematical creativity and sophistication. JML intends to represent the most important and innovative developments in the subject. What's New We will continue to publish 2 issues this year. Feature Articles (Free Online Sample Issue) Vol. 2, No. 2 (November 2002) Click here to access the full text articles now. The Lindenbaum Algebra of the Theory of the Class of All Finite Models S. Lempp, M. Peretyat'kin and R. Solomon Optimal Proofs of Determinacy II I. Neeman On the Definability of the Double Jump in the Computably Enumerable Sets P. A. Cholak and L. A. Harrington Author Index Current Issue Journal Archive About JML: Editorial Board Contact JML Recommend This Journal Abstracting/Indexing How To Order: Order Information Sales Contact Price Information Request for Complimentary Print Copy ... Free Online Sample For Authors: Guidelines for Contributors Call for Papers ISSN: 0219-0613 Current Issue Journal Archive Free Email Updates on Table of Contents About JML Editorial Board Contact JML Recommend This Journal Abstracting/Indexing ... Search this Journal How To Order Order Information Sales Contact Price Information Request for Complimentary Print Copy ... Free Online Sample Issue For Authors

28. Wiley-VCH - MLQ Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table Category Science Math logic and Foundations Publications Journals......mathematical logic Quarterly (MLQ) (formerly Zeitschrift fuer MathematischeLogik und Grundlagen der Mathematik) is an international journal for the http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/

Journals Journals from A to Z MLQ Books Journals Please specify Architecture Business Chemistry Civil Engineering Computer Science Earth Science Education Electrical Engineering Geography Graphics Design History Industrial Engin. Life Sciences Materials Science Mathematics Mechanical Engin. Medical Sciences Physics Social Science Statistics Journals from A to Z Online Submission of Manuscripts ... Electronic Media Please specify Accounting Architecture Business Chemistry Civil Engineering Computer Certification Computer Science Earth Science Economics Education Electrical Engineering End-User Computing Finance Geography Graphics Design History Hospitality Industrial Engin. Law Life Sciences Materials Science Mathematics Mechanical Engin. Medical Sciences Physics Psychology Social Science Statistics MLQ Latest Issue Mathematical Logic Quarterly is the international journal for the publication of original contributions on mathematical logic and foundations of mathematics and related areas such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science. Over the years, many internationally renowned scientists in the field of mathematical research were and are members of the editorial board, their combined efforts are documented in the 41 volumes of the journal comprising more than 1600 original papers by authors from around the world. It is the endeavor of the editorial board that the profile of Mathematical Logic Quarterly reflects the progress in the diverse areas of mathematical logic in a vital manner.

29. Peter Aczel University of Manchester Philosophy and Foundations of Mathematics and Computing, mathematical logic, Categorical logic. http://www.cs.man.ac.uk/~petera/

Peter Aczel: Departments of Mathematics and Computer Science Dept. Computer Science University of Manchester Manchester , M13 9PL, UK Phone : +44 0161 275 6155 Fax : +44 0161 275 6204 Email: petera@cs.man.ac.uk I am Professor of Mathematical Logic and Computing Science and hold a joint appointment in the departments of Computer Science and Mathematics at the University of Manchester. Research areas: My research interests include the following areas: Mathematical Tools for the Semantics of natural and formal languages Philosophy and Foundations of Mathematics and Computing Mathematical Models of Concurrent Processes Computer Assisted Development of formal proofs Mathematical Logic Categorical Logic and Dependent Type Theory Constructive Mathematics Variants of Classical Axiomatic Set Theory such as theories of non-well-founded sets and constructive set theories. Research, Publications etc Teaching: 2001-2002 MT4191/5151 Predicate Logic MT4592/5592 Types for Programs and Proofs CS6121 Automated Reasoning The first two courses are run at both the 4th year undergraduate level and at the MSc level.

30. Springer LINK: Archive For Mathematical Logic - Contents Translate this page Springer LINK, Forum Springer Archive for mathematical logic. ForumWhat's New Search Orders Helpdesk Up. Online First 2003 42/1, 2002 http://link.springer.de/link/service/journals/00153/tocs.htm

Abstracts only: Electronic sample copy (41/1) freely available online to everyone Last update: 13 January 2003 LINK Helpdesk

31. Équipe De Logique Mathématique - CNRS UMR 7056 mathematical logic Team. http://www.logique.jussieu.fr/index-english.html

Back to the French page (UMR 7056) CNRS Head: delon_at_logique.jussieu.fr Secretary: Khadija Bayoud ( bayoud_at_logique.jussieu.fr ) office 5A51 at Chevaleret tel: 01 44 27 37 68 (from abroad: (33) 1 44 27 37 68) fax: 01 44 27 61 48 (from abroad: (33) 1 44 27 61 48) Beware: Our actual location is different from our postal address !! Postal address (for mail only) 2 place Jussieu 75251 Paris Cedex 05 France Actual location (offices, seminars and graduate courses) 175-179 rue du Chevaleret (5th floor , wing A) People Seminars E-prints Graduate program: , list of Doctoral Theses (ASL European Summer Meeting 2000, Paris). Links to some conferences Logic in France. Angers: Laboratoire d' Caen: Algorithmique Caen: SDAD Chambery: LAMA Clermont-Ferrand: LLAIC (Laboratoire de Logique, Algorithmique et Informatique de Clermont I) Le Mans: Lyon I: IGD-logique (Institut Girard Desargues) Marseille-Luminy: Logique de la Programmation Paris 1 (La Sorbonne): Paris 1 (La Sorbonne): Paris 7 (Denis-Diderot), UFR d'Informatique: PPS LACL Page maintained by Z. Chatzidakis, updated January 30, 2003.

32. Dynamic Directory - Science - Math - Logic And Foundations of the mathematics eprint arXiv. mathematical logic and Foundations - From The mathematical Atlas, a resource of http://www.maximumedge.com/cgi/dir/index.cgi/Science/Math/Logic_and_Foundations

var AdLoaded = false; var bsid = '18707'; var bsads = '6'; var bsloc = ''; var bswx = 468; var bshx = 60; var bsw = '_top'; var bsb = 'FFFFFF'; var bsf = '000000'; var bsalt = 'off'; MaximumEdge.com Search E-Mail News ... Maps Dynamic Directory Top Science Math :Logic and Foundations Description Directories Education Institutions ... Set Theory See also: Computers: Artificial Intelligence: Philosophy Computers: Programming: Languages: Logic-based Society: Philosophy: Philosophy of Language Society: Philosophy: Philosophy of Science: Philosophy of Mathematics This category in other languages: Korean Spanish Abstract Service - An archive of abstracts of logic articles at the Institute for Logic, University of Vienna. Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Logic and Games - Survey of game-theoretical approaches to logic; by Wilfrid Hodges. 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.

33. Logicville Over a hundred educational puzzles, brain teasers, mathematical recreations, logic quizzes, and word games. http://www.logicville.com

WELCOME TO L O G I C V I L L E Over a Hundred Educational Puzzles, Brain Teasers, Mathematical Recreations and Word Games List of Puzzles Cryptogram Quiz Bookstore Birthday E-Cards ... Word Puzzles, Mathematical Recreations, Anagrams, Cryptograms, Doublets, Tangrams, Cryptarithms, Chess, and many more... Press control-D to bookmark this web site. Puzzle of the Week MAGIC WORD SQUARE A magic word square is a square array of letters such a valid word is found in every row and every column of the array. Form a magic word square by filling the 4x4 square array below using only the letters shown below. These letters may be used more than once. However, all letters should be used at least once. G R E D L O W This puzzle is INTERACTIVE in Java-enabled browsers. Select a letter by clicking on any RED letter on the upper array, then click on the cell that you want the selected letter placed. PREVIOUS PUZZLE Test your Logic!

34. Mathematical Logic At The University Of Bonn mathematical logic Group. http://www.math.uni-bonn.de/people/logic/

Mathematical Logic Group Department of Mathematics Fachgruppe Mathematik/Informatik Mathematisch-Naturwissenschaftliche Fakultät University of Bonn Part of the Interdisciplinary Cooperation LOGiC in BOnN (LiB) Members Alumni Research ... Links (incl. our famous " Mathematical Logic around the world ") Informationen zum Studium der Mathematischen Logik in Bonn Contact Address: Mathematisches Institut Be4Zi27 (Office Hours Mon-Thu 9-14, Fri 9-12) D-53115 Bonn Germany Phone: Fax: + 49 - 228 - 73 -7916 (please label the fax clearly with the name of the intended recipient) Members ( Mitglieder und Angehörige Professors ( Hochschullehrer Prof. Dr. Peter Koepke koepke@math.uni-bonn.de ), Be4Zi44 Phone 73-2206; Office Hour: Wednesday 12-13 Scientific Staff ( Wissenschaftliche Mitarbeiter Dr. loewe@math.uni-bonn.de ), Be4Zi24, Phone 73-2928; Office Hour: Wednesday 11-12 PD Dr. Heike Mildenberger heike@math.uni-bonn.de ) [currently on leave in Vienna] Dr. Michael Möllerfeld mimoe@math.uni-bonn.de ), Be4Zi25, Phone 73-3352 Students ( Studenten Dipl.-Math.

35. Research Groups In Logic And Theoretical Computer Science Maintained by Anton Setzer, Uppsala.Category Science Math logic and Foundations Directories......Uppsala University MIC Department of Mathematics Group for mathematical logic. Uppsalauniversitet Matematiska institutionen Group for mathematical logic. http://www.math.uu.se/logik/logic-server/

Uppsala University MIC Department of Mathematics Group for Mathematical Logic Old Version This page is a slightly old version of logic servers world-wide and has not been updated since June 2001. The new version can be found at http://www-compsci.swan.ac.uk/~csetzer/logic-server/index.html I am awaiting some software to be developed by my students. As soon as this is finished, this mirror will be kept up to date again. Research groups in Logic and Theoretical Computer Science Covered areas of this list are Mathematical Logic Logic in Computer Science and Theoretical Computer Science Philosophical Logic Please help to keep this site up to date and send additions and corrections to a.g.setzer@swan.ac.uk Thank you. How to search logic-servers world-wide Other Collections of Links can be found here Google's list "Logic and foundations" Open Directory - Science:Math:Logic Links, sorted by topic Research groups Conferences, Books People ... Other links Research groups , sorted by location (some by name) A B C D ... Z A Aachen, Aarhus, Amsterdam, (St) Andrews, ... Århus, B Bangor,

36. Mathematical Logic. Introduction. By V.Detlovs And K.Podnieks mathematical logic, tutorial, what is logic, logic, mathematical, online, hypertext, web, book, textbook, teaching, http://www.ltn.lv/~podnieks/mlog/ml.htm

mathematical logic, tutorial, what is logic, logic, mathematical, online, hyper-text, web, book, textbook, teaching, learning, study, student, Podnieks, Karlis, Detlovs, Vilnis, introduction, model theory, students, hypertext, text, hyper, free, donwload Personal page - click here This web-site presents 100% of a hyper-textbook for students. Read online, follow links all over the world. Feel free to download any parts. My favorite (printed) textbook in mathematical logic, since many years: "Introduction to Mathematical Logic", by Elliot Mendelson In preparation (however, already for 3 years, Sections 1, 2, 3.1-3.4, 4.0-4.2, 5.1-5.2 have been used successfully in a real course for computer science students). Any comments are welcome - e-mail to Karlis.Podnieks@mii.lu.lv Introduction to Mathematical Logic Hyper-textbook for students by Vilnis Detlovs, Dr. Math., and Karlis Podnieks, Dr. Math. Extended translation of: V.Detlovs, Elements of Mathematical Logic

37. Mathematical Reasoning Group Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports. http://dream.dai.ed.ac.uk/

MRG home page Research Publications Software ... People Mathematical Reasoning Group There was a major fire at our premises at 80 South Bridge Edinburgh on Saturday December 7th and as we restore our web site we are taking the opportunity to review some of the content. All links will be restored soon. The Mathematical Reasoning Group is a distributed research group based in the Centre for Intelligent Systems and their Applications , a research institute within the School of Informatics at the University of Edinburgh . We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence. The group has a number of publications and also contributes to the local Informatics report series . There is a more detailed overview of the MRG and a list of people Events including The weekly Dream talks CISA Seminars Research including Proof Planning Proof Planning FAQ Program Synthesis Formalisation of Mathematics Data Mining Theory Formation Rippling FAQ Software including Lambda Clam XBarnacle Clam HOL-Clam ... HR Local links Activities and information Dream talks Informatics Colloquia Locally installed software Blue book notes Local computing help Local system support ... Taskforce meetings Edinburgh University in the City and Scotland LFCS Edinburgh restaurant guide Local maps Administration and funding Current Grants Informatics Local School page research institutes staff directory meetings calendar ... Artificial Intelligence , and Cognitive Science Research Links Our group has active contacts with a number of research networks and groups.

38. Minnesota, University Of mathematical logic. http://www.math.umn.edu/grad/areas/logic.html

Mathematical Logic, Constructive Mathematics, Set Theory, Recursion Theory math page grad page research page Karel Prikry prikry@math.umn.edu Professor , Ph.D. 1968 University of California Berkeley set theory, measure theory, boolean algebras Wayne Richter richter@math.umn.edu Associate Professor , Ph.D. 1963 Princeton University recursion theory, set theory Director of Graduate Studies in Mathematics ((612) 625-1306) 127 Vincent Hall, 206 Church Street S.E. Minneapolis, MN 55455 URL http://www.math.umn.edu/grad/areas/logic.html The University of Minnesota is an equal opportunity educator and employer.

39. Simpson Math 557 Mathematical Logic Math 557 mathematical logic. Math 557 is an introductory graduatelevel courseon mathematical logic. It is suitable for all mathematics graduate students. http://www.math.psu.edu/simpson/courses/math557/

40. Abstract Service For Mathematical Logic At The Institute For Logic At The Univer An archive of abstracts of logic articles at the Institute for logic, University of Vienna.Category Science Math logic and Foundations......Abstract Service for mathematical logic at the Institute for logic at theUniversity of Vienna. Abstract Service for mathematical logic v0.7. http://www.logic.univie.ac.at/abstract/

Abstract Service for Mathematical Logic v0.7 Institute for Logic at the University of Vienna As opposed to the former Logic Eprints server by William Mitchell , only abstracts will be collected. We assume you can provide the paper in full on your own server, and will of course offer a link to your location. Submit new abstracts here. Search for papers here. List all papers by author. New submissions by week ... Visit other sites of mathematical logic around the world If things don't work as they should be, do not hesitate to contact me (abstract@logic.univie.ac.at, the subject must be bug-report for abstract server , May 18, 2002

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

Page 2     21-40 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20