Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 31 - 40 of about 47 related to Logic, Methodology and Philosophy of Science VIII.   

How to Prove It: A Structured Approach

Daniel J. Velleman - Mathematics - 1994 - 309 pages
Many mathematics students have trouble the first time they take a course, such as linear algebra, abstract algebra, introductory analysis, or discrete mathematics, in which ...
Limited preview - About this book

Numbers, Sets and Axioms: The Apparatus of Mathematics

A. G. Hamilton - Mathematics - 1982 - 255 pages
Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and discussion of ...
Limited preview - About this book

Algebraic Set Theory

Andri Joyal, Ieke Moerdijk - Mathematics - 1995 - 123 pages
This book offers a new algebraic approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms ...
Limited preview - About this book

Godel: A Life of Logic, the Mind, and Mathematics

John L. Casti, Werner DePauli - Biography & Autobiography - 2009 - 224 pages
Kurt Gödel was an intellectual giant. His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Shattering hopes ...
Limited preview - About this book

New Directions in the Philosophy of Mathematics: An Anthology

Thomas Tymoczko - Mathematics - 1998 - 436 pages
The traditional debate among philosophers of mathematics is whether there is an external mathematical reality, something out there to be discovered, or whether mathematics is ...
Limited preview - About this book

The Mathematician's Mind: The Psychology of Invention in the Mathematical Field

Jacques Hadamard - Mathematics - 1945 - 143 pages
Fifty years ago when Jacques Hadamard set out to explore how mathematicians invent new ideas, he considered the creative experiences of some of the greatest thinkers of his ...
Limited preview - About this book

Collected Papers of Stig Kanger with Essays on his Life and Work

Ghita Holmström-Hintikka, Sten Lindström, R. Sliwinski - Mathematics - 2001 - 305 pages
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search