Geometry.Net - the online learning center
Home  - Science - Logic Mathematical

e99.com Bookstore
  
Images 
Newsgroups
Page 2     21-40 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20
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  

         Logic Mathematical:     more books (100)
  1. Introduction to Elementary Mathematical Logic by Abram Aronovich Stolyar, 2010-10-18
  2. The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (Classic Reprint) by George Boole, 2010-03-18
  3. Mathematical Logic, Revised Edition by W. V. Quine, 1981-04-15
  4. A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics) by Yu. I. Manin, 2009-10-30
  5. Principles of Mathematical Logic by David Hilbert, W. Ackermann, 1999-07-01
  6. Mathematical Logic (Undergraduate Texts in Mathematics) by H.-D. Ebbinghaus, J. Flum, et all 1994-06-10
  7. Logic and Structure by Dirk van Dalen, Dirk van Dalen, 2008-09-01
  8. Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic (PCS)) by Wei Li, 2010-01-22
  9. A Tour Through Mathematical Logic (Carus Mathematical Monographs) by Robert S. Wolf, 2005-01-08
  10. Mathematical Logic by George Tourlakis, 2008-09-02
  11. What is Mathematical Logic? by C. J. Ash, J. N. Crossley, et all 2010-10-18
  12. Mathematical Logic (Oxford Texts in Logic) by Ian Chiswell, Wilfrid Hodges, 2007-07-12
  13. Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions by Eric Schechter, 2005-08-08
  14. A Course In Mathematical Logic by John Bell, Moshe Machover, 1977-01-15

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 ...

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)
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

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 See also: 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)
    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

    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 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.
    Links, sorted by topic
    Research groups , sorted by location (some by name)
    A B C D ... Z

    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

    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 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. 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

    free hit counter