Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 447 citing Principia Mathematica. 

Introduction to Mathematical Logic, Fourth Edition

Elliott Mendelson - Mathematics - 1997 - 440 pages
The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic ...
Limited preview - About this book

Isabelle: A Generic Theorem Prover

Lawrence C. Paulson - Computers - 1994 - 321 pages
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994. The proceedings comprise 25 full ...
Limited preview - About this book

An Introduction to Mathematical Logic and Type Theory

Peter B. Andrews - Computers - 2002 - 390 pages
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This introduction to ...
Limited preview - About this book

Supervision in the Helping Professions

Peter Hawkins, Robin Shohet - Psychology - 2007 - 258 pages
Written for supervisors working in the helping professions, this third edition by Hawkins and Shohet addresses the practical needs of staff and describes ways of enabling them ...
Limited preview - About this book




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