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

41-60 of 77    Back | 1  | 2  | 3  | 4  | 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 Mathematical Logic by Alonzo Church, 1996-10-28 Handbook of Mathematical Induction: Theory and Applications (Discrete Mathematics and Its Applications) by David S. Gunderson, 2010-09-14 Introduction to Mathematical Logic, Third Edition by Elliott Mendelson, 1987-02-28 First Course in Mathematical Logic by Patrick Suppes, Shirley Hill, 2010-06-17 Mathematical Logic for Computer Science by Mordechai Ben-Ari, 1992-12-31 Friendly Introduction to Mathematical Logic, A by Christopher C. Leary, 1999-12-08 First Order Mathematical Logic by Angelo Margaris, 1990-03-01 The Foundations of Mathematics (Logic) by Kenneth Kunen, 2009-09-08 Introduction to Mathematical Structures and Proofs (Volume 0) by Larry J. Gerstein, 2008-06-13 The Search for Mathematical Roots, 1870-1940 by I. Grattan-Guinness, 2001-01-15 An Introduction to Fuzzy Logic for Practical Applications (Volume 0) by Kazuo Tanaka, 1996-11-15 From Symbolic Logic to Mathematical Logic by Silver, 1993-07 Mathematical Reasoning: Writing and Proof (2nd Edition) by Ted Sundstrom, 2006-03-23 Mathematical Logic Hierarchies: Arithmetical Hierarchy

lists with details

41. Mathematical Logic Research Of Victor Porton: 21 Century Math Method, Operator T
    Math logic research of Victor Porton 21 Century Math Method and Operator Theory of Formulas.  
    http://www.mathematics21.org/math-logic.html
    
    Extractions: google_ad_client = "pub-9523722979947731"; google_alternate_ad_url = "http://www.mathematics21.org/ads/728x15"; google_ad_width = 728; google_ad_height = 15; google_ad_format = "728x15_0ads_al"; google_color_border = ["DFF2FD","CCCCCC","DDAAAA","578A24"]; google_color_bg = ["DFF2FD","FFFFFF","ECF8FF","CCFF99"]; google_color_link = ["0000CC","000000","0033FF","00008B"]; google_color_url = ["008000","666666","0033FF","00008B"]; google_color_text = ["000000","333333","000000","000000"]; google_ad_channel ="3391171102"; google_ad_client = "pub-9523722979947731"; google_ad_width = 728; google_ad_height = 90; google_ad_format = "728x90_as"; google_ad_channel ="3391171102"; google_color_border = ["DFF2FD","CCCCCC","DDAAAA","578A24"]; google_color_bg = ["DFF2FD","FFFFFF","ECF8FF","CCFF99"]; google_color_link = ["0000CC","000000","0033FF","00008B"]; google_color_url = ["008000","666666","0033FF","00008B"]; google_color_text = ["000000","333333","000000","000000"]; google_alternate_ad_url = "http://www.mathematics21.org/ads/728x90"; google_ad_client = "pub-9523722979947731"; google_ad_width = 160; google_ad_height = 600; google_ad_format = "160x600_as"; google_ad_channel ="3391171102"; google_color_border = ["DFF2FD","CCCCCC","DDAAAA","578A24"]; google_color_bg = ["DFF2FD","FFFFFF","ECF8FF","CCFF99"]; google_color_link = ["0000CC","000000","0033FF","00008B"]; google_color_url = ["008000","666666","0033FF","00008B"]; google_color_text = ["000000","333333","000000","000000"]; google_alternate_ad_url = "http://www.mathematics21.org/ads/160x600";

42. Dictionary Of The History Of Ideas
    VII. MATH logic The history of formal mathematical, logical, linguistic and methodological ideas. RELATIVITY OF STANDARDS OF mathematical RIGOR  
    http://etext.virginia.edu/DicHist/analytic/anaVII.html

43. Logic, Spring 2006
    syllabus for Spring 2006 Math 250 Sections 01 and 02 mathematical logic Mondays, Wednesdays, Fridays, room SC1431 1010-1100 (sec 01) or 1110-1200 (sec  
    http://www.math.vanderbilt.edu/~schectex/courses/logic/
    
    Extractions: Jump to: Links Instructor Textbook Rules ... Sequel Links. This syllabus is at http://www.math.vanderbilt.edu/~schectex/courses/logic/ . In addition: Instructor. Eric Schechter, Associate Professor of Mathematics. You should address me as " Dr. Schechter " (pronounced "doctor shektur"). Email: eric.schechter@vanderbilt.edu . Office: SC-1529; that's in the top floor of the Math Building. You can sometimes reach me by phone, but email is much more reliable. For office hours and other information, see my web page Textbook.

44. MathGuide: Mathematical Logic And Foundations
    Association for Symbolic logic. Subject Class, mathematical logic and Subject Class, History and biography; Set theory; mathematical logic and  
    http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03

45. Basic Library List-Foundations And Mathematical Logic
    Andrews, Peter B. An Introduction to mathematical logic and Type Theory To Truth Through Proof New York, NY Academic Press, 1986.  
    http://www.maa.org/BLL/foundations.htm
    
    Extractions: Back to Table of Contents Beth, Evert. The Foundations of Mathematics Amsterdam: North-Holland, 1959. * Eves, Howard W. Foundations and Fundamental Concepts of Mathematics, Boston, MA: PWS-Kent, 1990. Third Edition. ** Mac Lane, Saunders. Mathematics, Form and Function New York, NY: Springer-Verlag, 1986. * Mostowski, Andrzej. Thirty Years of Foundational Studies New York, NY: Barnes and Noble, 1966. * Wilder, Raymond L. Introduction to the Foundations of Mathematics, Melbourne, FL: Robert E. Krieger, 1980. Second Edition. * Barwise, Jon and Etchemendy, John. The Liar: An Essay on Truth and Circularity New York, NY: Oxford University Press, 1987. * Boole, George. An Investigation of the Laws of Thought Mineola, NY: Dover, 1951. Copi, Irving Marmer. Symbolic Logic, New York, NY: Macmillan, 1973. Fourth Edition. Jeffrey, Richard C. The Logic of Decision, Chicago, IL: University of Chicago Press, 1983. Second Edition. Quine, Willard Van Orman.

46. Mathematical Logic Quarterly
    mathematical logic Quarterly. MLQ Home Page Volume 53, 2007 Volume 52, 2006 Volume 51, 2005 Volume 50, 2004 Volume 49, 2003 Volume 48, 2002  
    http://www.informatik.uni-trier.de/~ley/db/journals/mlq/index.html

47. A Course In Mathematical Logic - Elsevier
    A comprehensive oneyear graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is  
    http://www.elsevier.com/wps/product/cws_home/501742
    
    Extractions: Home Site map Elsevier websites Alerts ... A Course in Mathematical Logic Book information Product description Author information and services Ordering information Bibliographic and ordering information Conditions of sale Book-related information Submit your book proposal Other books in same subject area About Elsevier Select your view A COURSE IN MATHEMATICAL LOGIC

48. Mathematical Resources: Logic
    logic mathematical Resources. mathematical logic. mathematical logic around the world by Boris Piwinger; BUBL LINK / 515 Internet Resources  
    http://mathres.kevius.com/logic.html
    
    Extractions: BUBL LINK / 5:15 Internet Resources: Mathematical logic LO Logic Front for the Mathematics ArXiv Logic Links Gustavus Philosophy Department Mathematical Logic around the world by Martin Goldstern Open Directory - Science: Math: Logic and Foundations Around Goedel's Theorem by Karlis Podnieks Association for Symbolic Logic British Logic Colloquium Classical Logic Stanford Encyclopedia of Philosophy Computability Logic Homepage by Giorgi Japaridze Formalized Mathematics by John Harrison Fuzzy Logic Laboratorium Linz-Hagenberg Homepage Introduction to Mathematical Logic by Karlis Podnieks LEWIS CARROLL Logic, Mathematics, and Games Logic Journal of the IGPL Logic and Mathematics by Stephen G. Simpson Logic Notation on the Web by Peter Suber Logic Tutorial - Visual Interactive Formal, Propositional, or Symbolic Logic Mathematical Background by John F. Sowa Mathematical logic and foundations by Dave Rusin Mathematical Logic at Penn State Mathematical Logic at Uppsala University Mathematics and the Law by Daniel Henry Gottlieb A Problem Course in Mathematical Logic by Stefan Bilaniuk The Propositional Logic Calculator Theory of Knowledge by Bertrand Russell The Philosophical Importance of Mathematical Logic Set Theory Page LUIS E. SANCHIS PROFESSOR EMERITUS, SYRACUSE UNIVERSITY

49. Colloquium On Mathematical Logic
    Starting Fall 2003, the Colloquium on mathematical logic is a joint event organized by the logicians at the Universiteit van Amsterdam and the Universiteit  
    http://www.math.uu.nl/people/jvoosten/seminar.html
    
    Extractions: Organization: (mail: vaananen@science.uva.nl Jaap van Oosten (mail: jvoosten@math.uu.nl ) and Rosalie Iemhoff (mail: Rosalie.Iemhoff@phil.uu.nl Starting Fall 2003, the Colloquium on Mathematical Logic is a joint event organized by the logicians at the Universiteit van Amsterdam and the Universiteit Utrecht

50. Department Of Mathematical Logic And Theory Of Algorithms
    Department of mathematical logic and Theory of Algorithms. Moscow State University.  
    http://lpcs.math.msu.su/eng/logic.htm

51. Mathematical Logic - Math.umn.edu
    mathematical logic.  
    http://www.math.umn.edu/grad/areas/logic.html

52. Logic For Mathematical Writing -- Harriss And Hodges 15 (4): 313 -- Logic Journa
    Key Words writing • mathematical exposition • logic • informal logic • definition • discharging assumptions • natural deduction • Pascal  
    http://jigpal.oxfordjournals.org/cgi/content/abstract/15/4/313
    
    Extractions: Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive ... Request Permissions Google Scholar Articles by Harriss, E. Articles by Hodges, W. Edmund Harriss Department of Mathematics, Imperial College London, London SW7 2AZ, UK. E-mail: Wilfrid Hodges School of Mathematical Sciences, Queen Mary, University of London, London E1 4NS, UK. E-mail:

53. MAMLS
    mamls.org/ Similar pages Research in mathematical logic - MIMSPhd Studies and Research in mathematical logic, University of Manchester.  
    http://mamls.org/
    
    Extractions: About MAMLS Support Logic Links ... BostonLogicConference Mid-Atlantic Mathematical Logic Seminar The Mid-Atlantic Mathematical Logic Seminar (MAMLS), a traveling conference meeting since 1982 usually four times yearly at various East Coast universities, brings together the best logicians of the region for research level talks by distinguished speakers on all aspects of mathematical logic, with a particular emphasis on complexity theory, theoretical computer science, fragments of arithmetic, pure and applied model theory, recursion theory, set theory, subsystems of analysis and topos theory. December 1-2, 2006 Logical Methods in Exact and Social Sciences

54. Syllabuses For MSc In Logic 2002-03, Department Of Mathematics, Univ. Of Manches
    Can mathematics be reduced to computer programming? These are some of the questions which motivate the study of mathematical logic. Predicate logic provides  
    http://www.maths.manchester.ac.uk/DeptWeb/MScCourses/Logic/Syllabus/Syllabus.htm

55. Church, A.: Introduction To Mathematical Logic (PMS-13).
    of the book Introduction to mathematical logic (PMS13) by Church, A., published by Princeton University Press.  
    http://pup.princeton.edu/titles/291.html
    
    Extractions: Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Introduction to Mathematical Logic , defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic. Church was one of the principal founders of the Association for Symbolic Logic; he founded the

56. The Homepage Of The Helsinki Logic Group
    Tapani Hyttinen, Interpreting groups inside modular strongly minimal homogeneous models, Journal of mathematical logic, vol. 3, 2003, 127142.  
    http://www.logic.math.helsinki.fi/
    
    Extractions: Logic Colloquium 2003: Group photo and lecture materials Members Research Publications ... Contact Info Members - Research Publications Links Contact Info ... Aapo Halko , Ph.D., descriptive set theory Alex Hellsten , Ph.D., set theory Taneli Huuskonen , docent, model theory, set theory, logic and analysis Tapani Hyttinen , docent, stability theory, infinitary logic Juliette Kennedy , docent, models of arithmetic, philosophy of mathematics Meeri Kesälä , Ph.D., model theory Juha Kontinen , Ph.D., finite model theory Kerkko Luosto , docent, finite and infinite model theory, abstract model theory Juha Oikkonen , university lecturer, infinitary logic, nonstandard analysis Matti Pauna , Ph.D. Juha Ruokolainen , Ph.D. , professor, finite model theory, abstract model theory, set theory Tapio Eerola , M.Sc. , Ph.L. Jarmo Kontinen , M.Sc. Hannu Niemistö , Ph.L., finite model theory Ville Nurmi , M.Sc. Ryan Siders , M.Sc. Former members of the group can be found in the list of Ph.Ds

57. Ontos-Verlag > Verlag Für Philosophie Und Mathematik > Buchreihen > Mathematica
    During the last decades, mathematical logic has developped into a technically quite The main fields of mathematical logic are computablity theory,  
    http://www.ontos-verlag.de/Buchreihen-ML.php
    
    Extractions: Wolfram Pohlers (WWU Münster), Thomas Scanlon (UC Berkeley), Ernest Schimmerling (Carnegie Mellon Univ.), Ralf Schindler (WWU Münster), Helmut Schwichtenberg (LMU München) During the last decades, mathematical logic has developped into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science are ubiquitous. The main fields of mathematical logic are computablity theory, model theory, proof theory, and set theory. The series will publish proceeding volumes as well as monographs written by leading researchers in mathematical logic. Band 1 Adam Olszewski: Church’s Thesis After 70 Years

58. Logic Authors/titles Recent Submissions
    Journalref mathematical logic Quaterly 52, Number 4 (2006) 375-403. Subjects logic (math Subjects logic (math.LO); logic in Computer Science (cs.LO)  
    http://aps.arxiv.org/list/math.LO/recent
    
    Extractions: [ showing up to 25 entries per page: fewer more Title: Hypergames and full completeness for system F (rough draft) Authors: Dominic Hughes Comments: Notes for the talk "Hypergame semantics: ten years later" given at `Games for Logic and Programming Languages', Seattle, August 2006. 31 pages, multiple figures

59. Number Theory And Mathematical Logic - Open University Course
    The Open University online prospectus; Courses Qualifications M381 Number theory and mathematical logic, Number theory looks at some classical problems  
    http://www3.open.ac.uk/courses/bin/p12.dll?C01M381

60. SpringerLink Home - Main
    www.springerlink.com/openurl. asp?genre=issue issn=09335846 - Principles of mathematical logic - Google Books Resultby David Hilbert, W. Ackermann, Robert E. Luce - 1999 - Mathematics - 172 pages  
    http://www.springerlink.com/openurl.asp?genre=issue&issn=0933-5846

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

41-60 of 77    Back | 1  | 2  | 3  | 4  | Next 20