Book123

Science/Engineering Predicative Arithmetic

The book is based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, Euc ...

Science/Engineering Arithmetic and Ontology: A Non-Realist Philosophy of Arithmetic. Edited by Pieranna Garavaso

Philip Hugley, Charles Sayward, "Arithmetic and Ontology: A Non-Realist Philosophy of Arithmetic" Editions Rodopi BV. | 2006 | ISBN: 9042020474 | 393 pages | DJVU | 1,2 MB This volume documents a lively exchange between five philosophers ...

Cultures & Languages Predicative Possession

Leon Stassen, «Predicative Possession»Oxford University Press | ISBN: 0199211655 | 2009 | PDF | 640 pages | 4.09 MBThis is the first comprehensive treatment of the strategies employed in the world's languages to express predicative posses ...

Nonfiction Tensor Analysis by Edward Nelson

These are the lecture notes for the first part of a one-term course on differential geometry given at Princeton in the spring of 1967. They are an expository account of the formal algebraic aspects of tensor analysis using both modern and c ...

Science/Engineering Interval Arithmetic: Accurate Self-validating Arithmetic for Digital Computing

===Computing相关链接===The Haskell Road to Logic, Maths and Programmin...[2007/1006]Security in Distributed, Grid, Mobile, and Perv...[2007/1001]Optical Switching/Networking and Computing for ...[2007/0922]Grid Computing: Experiment Managem ...

Nonfiction Quantum Fluctuations by Edward Nelson

Stochastic mechanics is a description of quantum phenomena in classical probabilistic terms. This work contains a detailed account of the kinematics of diffusion processes, including diffusions on curved manifolds which are necessary for th ...