1
by Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents: ... Mathematics; Chapter 22 Hauptsatz for Intuitionistic Simple Type Theory; PART V GENERAL PROBLEMS...

2
by Koetsier, T.
Published 2004
Elsevier
Table of Contents: ..., Pascal's Views on Mathematics and the Divine -- 22. Ger Harmsen, Spinoza and the Geometrical Method...

3
by Burton, T. A.
Published 1985
Academic Press
Table of Contents: ...1.6 Stability and BoundednessChapter 2 History, Motivation, Examples; 2.1 Classical Second-Order...

4
by Burton, T. A.
Published 1983
Academic Press
Table of Contents: ... Equations; 2.1. Existence Theory; 2.2. Linear Properties; 2.3. Convolution and the Laplace Transform; 2.4...

5
by Aczél, J.
Published 1975
Academic Press
Table of Contents: ..., History; 0.2 Entropy of One Event; 0.3 The Cauchy Functional Equation and Related Equations; 0.4...

6
by Calude, Cristian
Published 1988
North-Holland
Table of Contents: .... Recursive MARTIN-LOF Tests; 4.7. Infinite Oscillations; 4.8. Probabilistic Algorithms; 4.9. History; 4.10...

7
by Gandy, R. O.
Published 1977
North-Holland Pub. Co.
Table of Contents: ... The foundations of mathematics in Poland after World War II; Chapter 5 A tribute to A. Mostowski; PART TWO HISTORY...

8
by Gilʹ, M. I.
Published 2007
Elsevier
Table of Contents: ... -- 21. Difference Equations with Continuous Time -- 22. Steady States of Difference Equations...