Home  - Science - Logic Mathematical

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

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)

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

lists with details

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
    
    Extractions: POINTERS: Texts Software Web links Selected topics here 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

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

24. Mathematical Logic At Penn State
    mathematical logic.Category Science Math Institutions North Americamathematical 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/

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

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 JournalsThe 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
    
    Extractions: 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 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

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 Journalsmathematical 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/
    
    Extractions: 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 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/
    
    Extractions: 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. My research interests include the following areas: 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

31. Équipe De Logique Mathématique - CNRS UMR 7056
    mathematical logic Team.  
    http://www.logique.jussieu.fr/index-english.html
    
    Extractions: 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

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
    
    Extractions: 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
    
    Extractions: 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

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

35. Research Groups In Logic And Theoretical Computer Science
    Maintained by Anton Setzer, Uppsala.Category Science Math logic and Foundations DirectoriesUppsala University MIC Department of Mathematics Group for mathematical logic. Uppsalauniversitet Matematiska institutionen Group for mathematical logic.  
    http://www.math.uu.se/logik/logic-server/
    
    Extractions: Uppsala University MIC Department of Mathematics Group for Mathematical Logic 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. Covered areas of this list are Please help to keep this site up to date and send additions and corrections to a.g.setzer@swan.ac.uk Thank you. A B C D ... Z 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
    
    Extractions: 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.

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/
    
    Extractions: MRG home page Research Publications Software ... People 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

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 FoundationsAbstract 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/
    
    Extractions: 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

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