Books : Science & Nature : Mathematics : Mathematical Foundations : Mathematical Logic

• Home
• US Store
• Electronics
• Computers
• Sitemap

Books : Science & Nature : Mathematics : Mathematical Foundations : Mathematical Logic

• Logic: A Very Short Introduction (Very Short Introductions)

  Graham Priest

  
  
   

• An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

  Peter J. Eccles

  
  
   

• Logic

  Wilfrid Hodges

  
  
   

• Godel's Proof

  Ernest Nagel, James R. Newman

  
  
   

• The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

  Charles Petzold

  
  
   

• Logic for Dummies (For Dummies)

  Mark Zegarelli

  
  
   

• Elements of Logic Via Numbers and Sets (Springer Undergraduate Mathematics) (Springer Undergraduate Mathematics)

  D.L. Johnson

  
  
   

• Schaum's Outline of Logic (Schaum's Outline Series)

  John Nolt, Dennis Rohatyn, Achille Varzi

  
  
   

• Numbers and Proofs (Modular Mathematics Series)

  Reg Allenby

  
  
   

• How to Prove It: A Structured Approach

  Daniel J. Velleman

  
  
   

• Mathematical Proofs: A Transition to Advanced Mathematics

  Gary Chartrand, Albert D. Polimeni, Ping Zhang

  
  
   

• An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) (Cambridge Introductions to Philosophy)

  Peter Smith

  
  
   

• Categories for the Working Mathematician (Graduate Texts in Mathematics)

  Saunders Mac Lane

  
  
   

• To Mock a Mockingbird: And Other Logic Puzzles

  Raymond Smullyan

  
  
   

• On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems

  Kurt Godel

  
  
   

• To Infinity and Beyond: A Cultural History of the Infinite (Princeton Paperbacks)

  Eli Maor

  
  
   

• Fuzzy Thinking: The New Science of Fuzzy Logic

  Bart Kosko

  
  
   

• A Mathematical Introduction to Logic

  Herbert B. Enderton

  
  
   

• Fuzzy Logic for Beginners

  Masao Mukaidono

  
  
   

• The Mathematical Olympiad Handbook: An Introduction to Problem Solving Based on the First 32 British Mathematical Olympiads 1965-1996 (Oxford Science Publications)

  A. Gardiner