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

1-20 of 136    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)

Mathematical Logic by Stephen Cole Kleene, 2002-12-18 My Best Mathematical and Logic Puzzles (Math & Logic Puzzles) by Martin Gardner, 1994-11-01 A Mathematical Introduction to Logic, Second Edition by Herbert Enderton, Herbert B. Enderton, 2001-01-05 A Course on Mathematical Logic (Universitext) by Shashi Mohan Srivastava, 2008-03-12 Introduction to Logic by Alfred Tarski, 1995-03-27 Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications) by Elliott Mendelson, 2009-08-11 Proofs and Refutations: The Logic of Mathematical Discovery Fundamentals of Mathematical Logic by Peter G. Hinman, 2005-11-15 Yes--No, Stop--Go: Some Patterns in Mathematical Logic (Young Math Books) by Judith L. Gersting, Joseph E. Kuczkowski, et all 1977-10 Logic For Dummies by Mark Zegarelli, 2006-11-29 A Profile of Mathematical Logic (Dover Books on Mathematics) by Howard DeLong, 2004-06-17 A Concise Introduction to Mathematical Logic (Universitext) by Wolfgang Rautenberg, 2009-12-17 Mathematical Logic by Joseph R. Shoenfield, 2001-01-15 Mathematical Logic: A First Course (Dover Books on Mathematics) by Joel W. Robbin, 2006-07-07

lists with details

1. CIDEC Library: Gabbay, Hodkinson, Reynolds * Temporal Logic: Mathematical Founda
   Library. TEMPORAL logic mathematical FOUNDATIONS AND COMPUTATIONAL ASPECTS.Dov M. GABBAY, 1945. Programming. * Logic, Symbolic and mathematical.  
   http://www.cs.ioc.ee/yik/lib/1/Gabbay1.html
   
   Extractions: Department of Computing, Imperial College of Science, Technology and Medicine, London Series: Oxford logic guides , Vol. 28 - Oxford Science Publications Publisher : Oxford University Press - Clarendon Press , Oxford Bibliographic : DESCRIPTION : This long awaited book gives a thorough account of the mathematical foundations of temporal logic, one of the most important logic areas in computer science. It gives a solid introduction to semantical and axiomatic approaches to temporal logic, and covers the central topics of predicate temporal logic, metalanguages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is at the cutting edge, both in new results and in the unifying methodology. CONTENTS : The handling of time: introduction and survey Semantical presentation of temporal connectives Axiomatic presentation of propositional temporal connectives Predicate temporal logics Temporal logics presented in the predicate calculus: language-metalanguage

2. Advances In Modal Logic Marcus Kracht Mathematical Logic Mathematical Theory Of
   Advances in Modal Logic Marcus Kracht Mathematical logic mathematicaltheory of computation Mathematics. Advances in Modal Logic  
   http://www.novel-shop.co.uk/Marcus-Kracht-Advances-in-Modal-Logic-157586102X.htm

3. HallLiterature.com Symbolic Logic Game Of Logic Mathematical
   HallLiterature.com Symbolic Logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. HallLiterature.com.  
   http://hallliterature.com/index.php/Mode/product/AsinSearch/0486204928/name/Symb

4. HallKidsAuthors.com Symbolic Logic Game Of Logic Mathematical
   HallKidsAuthors.com Symbolic Logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. HallKidsAuthors.com.  
   http://hallkidsauthors.com/index.php/Mode/product/AsinSearch/0486204928/name/Sym

5. HallEducation.com Symbolic Logic Game Of Logic Mathematical
   HallEducation.com Symbolic Logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. HallEducation.com.  
   http://halleducation.com/index.php/Mode/product/AsinSearch/0486204928/name/Symbo

6. Symbolic Logic Game Of Logic: Mathematical Recreations Of Lewis Carroll: 2 Books
   Symbolic Logic Game of logic mathematical Recreations of Lewis Carroll 2 BooksBound As 1, Symbolic Logic Game of logic mathematical Recreations of Lewis  
   http://www.wkonline.com/a/Symbolic_Logic_Game_of_Logic_Mathematical_Recreations_
   
   Extractions: Math is fun, but the rhetoric of most taught (probably an overstatement) math (and, by extension, logic) is so incredibly dry that the forest is rarely seen for the bark on the trees. But here Carroll, with tongue lodged firmly in cheek, turns the rhetoric (and by extension, the way we think about math problems) on its ear, and the result is an often incredibly funny approach to math and logic problems which stays with you and ultimately worms its way into your quotidian. Ill also say that, as an atrociously poor student in high school, this book allowed me to ace the SATs, and then ten years later the GREs.

7. HallEnglishClassics.com Symbolic Logic Game Of Logic
   HallEnglishClassics.com Symbolic Logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. HallEnglishClassics.com.  
   http://hallenglishclassics.com/index.php/Mode/product/AsinSearch/0486204928/name

8. HallKidsIllustrators.com Symbolic Logic Game Of Logic
   HallKidsIllustrators.com Symbolic Logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. HallKidsIllustrators.com.  
   http://hallkidsillustrators.com/index.php/Mode/product/AsinSearch/0486204928/nam

9. From Symbolic Logic To Mathematical Logic Mathematical Logic Applied Mathematics
   From Symbolic Logic to Mathematical logic mathematical logic Applied mathematicsLogic Mathematics Charles L Silver. to Mathematical Logic  
   http://www.books-2buy.co.uk/Charles-L-Silver-From-Symbolic-Logic-to-0697141756.h

10. ScienceDirect - Annals Of Mathematical Logic - List Of Issues
    Similar pages Algebraic logic mathematical logic Algebra Mathematics Paul R Algebraic logic mathematical logic Algebra Mathematics Paul R Halmos. SubjectMathematical logic Algebra Mathematics Title Algebraic Logic  
    http://www.sciencedirect.com/science/journal/00034843

11. HallKidsFiction.com Symbolic Logic Game Of Logic Mathematical
    HallKidsFiction.com Symbolic Logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. HallKidsFiction.com.  
    http://hallkidsfiction.com/index.php/Mode/product/AsinSearch/0486204928/name/Sym

12. Basic Library List-Foundations And Mathematical Logic
    Foundations and Mathematical Logic. Back to Table of Contents. SecondEdition. Foundations and Mathematical logic mathematical Logic.  
    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.

13. OUP: Temporal Logic: Volume 1
    Temporal logic mathematical Foundations and Computational Aspects Volume 1. Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds, Dept  
    http://www.oup.co.uk/isbn/0-19-853769-7
    
    Extractions: VIEW BASKET Quick Links About OUP Career Opportunities Contacts Need help? oup.com Search the Catalogue Site Index American National Biography Booksellers' Information Service Children's Fiction and Poetry Children's Reference Dictionaries Dictionary of National Biography Digital Reference English Language Teaching Higher Education Textbooks Humanities International Education Unit Journals Law Medicine Music Oxford English Dictionary Reference Rights and Permissions Science School Books Social Sciences World's Classics UK and Europe Book Catalogue Help with online ordering How to order Postage Returns policy ... Table of contents Dov M. Gabbay Ian Hodkinson , and Mark Reynolds , Dept of Ciencia da Computacao, Brazil

14. OUP: Temporal Logic: Volume 2
    Temporal logic mathematical Foundations and Computational Aspects Volume 2. Dov M Gabbay, Department of Computer Science, King's  
    http://www.oup.co.uk/isbn/0-19-853768-9
    
    Extractions: VIEW BASKET Quick Links About OUP Career Opportunities Contacts Need help? oup.com Search the Catalogue Site Index American National Biography Booksellers' Information Service Children's Fiction and Poetry Children's Reference Dictionaries Dictionary of National Biography Digital Reference English Language Teaching Higher Education Textbooks Humanities International Education Unit Journals Law Medicine Music Oxford English Dictionary Reference Rights and Permissions Science School Books Social Sciences World's Classics UK and Europe Book Catalogue Help with online ordering How to order Postage Returns policy ... Table of contents Dov M Gabbay , Department of Computer Science, King's College London, M. Finger , Senior Lecturer in Computer Science, Murdoch University, Australia, and M. Reynolds , Dept of Ciencia da Computacao, Brazil

15. Mathematical Logic
    Mathematical Logic. (Tue Feb 17 144738 1998) Willard Van Orman Quine, MathematicalLogic My review; Bertrand Russell Introduction to Mathematical Philosophy;  
    http://cscs.umich.edu/~crshalizi/notebooks/mathematical-logic.html
    
    Extractions: Notebooks (Tue Feb 17 14:47:38 1998) If, in 1901, a talented and sympathetic outsider had been called upon (say, by a granting-giving agency) to survey the sciences and name the branch which would be least fruitful in century ahead, his choice might well have settled upon mathematical logic, an exceedingly recondite field whose practitioners could all have fit into a small auditorium - algebraists consumed by abstractive passion, or philosophers pursuing fantasies of Leibnitz and Ramon Llull, or (like Whitehead) both. It had no practical applications, and not even that much mathematics to show for itself: its crown was an exceedingly obscure definition of cardinal numbers. When, in 1910, it produced a work which the learned world was forced to notice - the first volume of Whitehead and Russell 's Principia Mathematica - it was, so to speak, the academic Brief History of Time of its day, often mentioned, never used. Our outsider would, of course, have been wrong. Mathematical logic was the inspiration for perhaps only half of twentieth-century philosohpy (that is, of honest philosophy; by volume, as Kolakowski says, Stalin was the century's most influential philosopher); many of our finest mathematicians, such as

16. Exploring Logical Dynamics Johan Van Benthem Mathematical Foundations Logic Math
    Exploring Logical Dynamics Johan Van Benthem Mathematical foundations logic mathematicaltheory of computation Philosophy of language Semantics Mathematics.  
    http://www.24-7book.co.uk/Johan-Van-Benthem-Exploring-Logical-Dynamic-1575860597

17. HallEntertainment.com Symbolic Logic Game Of Logic
    HallEntertainment.com Symbolic Logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. HallEntertainment.com.  
    http://hallentertainment.com/index.php/Mode/product/AsinSearch/0486204928/name/S

18. Mathematical Logic Around The World
    A service provided by the mathematical logic Group in BonnCategory Science Math logic and Foundations Directoriesin mathematical logic (such as set theory). By the mathematical logic Group, Bonnand the Institute for Logik, Vienna. mathematical logic around the world.  
    http://www.uni-bonn.de/logic/world.html
    
    Extractions: <A HREF="http://www.uni-bonn.de/logic/world.html">Mathematical Logic around the world</A> Delaware: University of Delaware Florida: University of Florida Illinois: UI at Urbana-Champaign Indiana: Michigan: University of Michigan Minnesota: University of Minnesota New Jersey: Rutgers University New York: City University of New York and logic in the New York area Ohio: Ohio State University Pennsylvania: Wisconsin: University of Wisconsin Leeds:

19. Springer LINK: Archive For Mathematical Logic
    (Springer) Tables of contents from vol.34 (1995) on. Full text to subscribers via LINK.Category Science Math logic and Foundations Publications JournalsThe Springer Journal publishes research papers and occasionally surveysor expositions on mathematical logic. Contributions are  
    http://link.springer.de/link/service/journals/00153/

20. Mathematical Logic. Around Goedel's Theorem. By K.Podnieks
    mathematical logic, foundations, mathematics, logic, mathematical, what is mathematics, incompleteness theorem, Gödel,  
    http://www.ltn.lv/~podnieks
    
    Extractions: mathematical logic, foundations, mathematics, logic, mathematical, what is mathematics, incompleteness theorem, Gödel, online, web, Godel, book, Internet, Goedel, tutorial, textbook, teaching, learning, study, student, Podnieks, Karlis, philosophy, free, download LU studentiem Karlis.Podnieks@mii.lu.lv My best mathematical paper My book about probabilities ... Picture (first row, third) Hegel, Marx, and Goedel's theorem Digital mathematics and non-digital mathematics Trying to understand non-formalists " Let X = X But Not Necessarily "

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

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