I am trying to obtain copies of the following out-of-print books. If you own any of these books and wish to sell them, please send me email or contact me at the address on my home page. This list is also available in postscript form.
[Andrews86]: Peter B. Andrews, "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof", Academic Press, New York, 1986.
[Church41]: Alonzo Church, "The Calculus of Lambda-Conversion", Number 6 in Annals of Mathematics Studies. Princeton University Press, Princeton, New Jersey, 1941.
[Krasnoselskii64]: M. A. Krasnosel'skiu i, "Positive Solutions of Operator Equations", Noordhoff International Publishing, Groningen, the Netherlands, 1964.
[Krasnoselskii72]: M. A. Krasnosel'skiu i, G. M. Vainikko, P. P. Zabreiko, Ya. B. Rutitskii, and V. Ya. Stetsenko, "Approximate Solution of Operator Equations", Wolters-Noordhoff, Groningen, the Netherlands, 1972.
[Lewin81]: Leonard Lewin, "Polylogarithms and associated functions", North Holland, New York, 1981.
[Pomraning73]: G. C. Pomraning, "The Equations of Radiation Hydrodynamics", Pergamon Press, New York, 1973.