UP
bibliography ..P
Home Page=home page
Notes=notes
Online Text=online text
quote=quotes
an ibs partner =buy from iBS
an amazon associate=buy from Amazon
Internet Encyclopaedia of Philosophy - P Philosophy in Cyberspace - thinkers - P Stanford Encyclopaedia of Philosophy - P

Lawrence C. Paulson

Automatic theorem proving and its applications. Cambridge LCF, HOL, Isabelle. Home Page
[Paulson96] ML for the working programmer
2nd edition; Cambridge University Press 1996 ISBN 0-521-56543-X;
purchase from amazon purchase from ibs

Patrick Peccatte

Philosophy of Science and Mathematics Home Page
Histoire et philosophie des mathématiques (web page) online HTML

Charles Peirce
Philosophy. Pragmatism.
The Peirce Edition Project online resources

Lorenzo Peña
Logic, philosophy of logic, philosophy of language and metaphysics. Deontic and juridical logic. Home Page

Roger Penrose

[Penrose90] Penrose, Roger;
The Emperor's New Mind concerning computers, minds, and the laws of physics; Vintage 1990; purchase from ibs
[Penrose94] Penrose, Roger;
Shadows of the Mind a search for the missing science of consciousness; Oxford University Press 1994; purchase from amazon purchase from ibs

Åke Persson
Polyvalued logic. Home Page

David Plume

Exact real arithmetic (using signed binary expansions and dyadic rational streams).

Wolfram Pohlers Home Page

[Pohlers89] Pohlers, Wolfram;
Proof Theory; Springer-Verlag 1989; ISBN 0-387-51842-8 purchase from amazon

Karl R.Popper

Philosopher Books by Karl Popper at Amazon.com Stanford Encyclopaedia of Philosophy on Popper
  The Karl Popper Web - web site Karl Popper Web
[Popper45a] The Open Society and its Enemies - Volume 1 - The Spell of Plato
5th edition, Princeton University Press 1966, ISBN 0691019681
purchase from amazon purchase from ibs notes
[Popper45b] The Open Society and its Enemies - Volume 2 - The High Tide of Prophecy: Hegel, Marx and the Aftermath
5th edition, Princeton University Press 1966, ISBN 069101972X
purchase from amazon purchase from ibs
[Popper59] The Logic of Scientific Discovery
Hutchinson 1972, ISBN 0091117216, 041507892X
purchase from amazon purchase from ibs
[Popper63] The Poverty of Historicism
Reprint edition (June 1993) Routledge; ISBN: 0415065690
purchase from amazon purchase from ibs
[Popper63b] The Demarcation between Science and Metaphysics
in [Carnap63]
notes
[Popper76] Unended Quest an intellectual autobiography
Flamingo 1986; ISBN 0415086930
purchase from ibs
[Popper82] Quantum Theory and the Schism in Physics
from the postscript to The Logic of Scientific Discovery; Routledge 1982, ISBN 0415091128
purchase from amazon purchase from ibs
[Popper82b] The Open Universe an argument for indeterminism
from the postscript to The Logic of Scientific Discovery; Hutchinson 1988, ISBN 0091461812, 0415078652
purchase from amazon purchase from ibs

Emil Post
Logic. The decision problem. Post production systems.
[Post21] Introduction to the General Theory of Elementary Propositions
Doctoral dissertation, presented at Columbia University in 1920. Presented at the AMS on 24th April 1920. Published in the American Journal of Mathematics 43, 163-185, also in [Heijenoort67]
 
[Post36] Finite Combinatory Processes - Formulation 1
The Journal of Symbolic Logic, Volume 1, Number 3, September 1936
 
[Post44] Recursively Enumerable Sets of Positive Integers and their Decision Problems
Presented in New York (at the AMS?) on February 26 1944
 

Peter Potts

Home Page Exact Real Arithmetic using Möbuis (aka linear fractional) transformations. (implemented in Miranda)

Joëlle Proust
Philosophy of logic, philosophy of mind. Home Page
[Proust86] Questions de forme. Logique et proposition analytique de Kant à Carnap
Paris, Fayard, 1986. English transl. by Anastasios Brenner: Questions of form, Minneapolis, University of Minnesota Press, 1989.
 


UP HOME © RBJ created 1995/05/09 modified 2009/07/21