Foundations of algorithms / Richard E. Neapolitan.Author: Neapolitan, Richard E.,
Publisher: Burlington, MA : Jones & Bartlett Learning,
Date: [2015] This title can be found in 2 Iowa libraries.
Foundations of algorithms /Author: Neapolitan, Richard E.
Publisher: Sudbury, Mass. : Jones and Bartlett Publishers,
Date: c2011. This title can be found in 2 Iowa libraries.
Essays in constructive mathematics /Author: Edwards, Harold M.
Publisher: New York : SpringerScience+Business Media,
Date: c2005. This title can be found in 2 Iowa libraries.
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics /Publisher: Oxford : Clarendon,
Date: 2005. This title can be found in 1 Iowa libraries.
Phenomenology, logic, and the philosophy of mathematics /Author: Tieszen, Richard L.
Publisher: Cambridge ; Cambridge University Press,
Date: 2005. This title can be found in 1 Iowa libraries.
Foundations of algorithms : using C++ pseudocode /Author: Neapolitan, Richard E.
Publisher: Sudbury, Mass. : Jones and Bartlett Publishers,
Date: c1998. This title can be found in 2 Iowa libraries.
Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 /Publisher: Providence, R.I. : American Mathematical Society,
Date: c1998. This title can be found in 1 Iowa libraries.
Foundations of algorithms /Author: Neapolitan, Richard E.
Publisher: Lexington, Mass. : D.C. Heath,
Date: c1996. This title can be found in 1 Iowa libraries.
The foundational debate : complexity and constructivity in mathematics and physics /Publisher: Dordrecht ; Kluwer Academic,
Date: [1995] This title can be found in 1 Iowa libraries.
Bounded arithmetic, propositional logic, and complexity theory /Author: Krajíček, Jan.
Publisher: New York : New York : Cambridge University Press,
Date: c1995. This title can be found in 3 Iowa libraries.
Fine structure and iteration trees /Author: Mitchell, William J.
Publisher: New York : New York : Springer-Verlag,
Date: c1994. This title can be found in 1 Iowa libraries.
Radical constructivism in mathematics education /Publisher: Boston : Boston : Kluwer Academic,
Date: c1991. This title can be found in 3 Iowa libraries.
From peturbative to constructive renormalization /Author: Rivasseau, Vincent,
Publisher: Princeton, N.J. : Princeton University Press,
Date: c1991. This title can be found in 1 Iowa libraries.
Constructibility and mathematical existence /Author: Chihara, Charles S.,
Publisher: Oxford : Clarendon Press ;
Date: 1990. This title can be found in 1 Iowa libraries.
Constructivism in mathematics : an introduction /Author: Troelstra, A. S.
Publisher: New York, N.Y. : New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Date: 1988. This title can be found in 2 Iowa libraries.
Varieties of constructive mathematics /Author: Bridges, D. S.
Publisher: New York : New York : Cambridge University Press,
Date: 1987. This title can be found in 7 Iowa libraries.
Predicative arithmetic /Author: Nelson, Edward,
Publisher: Princeton, N.J. : Princeton University Press,
Date: 1986. This title can be found in 3 Iowa libraries.
Intensional mathematics /Publisher: New YorK, N.Y., U.S.A. : New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., New YorK, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Date: 1985. This title can be found in 2 Iowa libraries.
Foundations of constructive mathematics : metamathematical studies /Author: Beeson, Michael J.,
Publisher: New York : New York : Springer-Verlag,
Date: c1985. This title can be found in 3 Iowa libraries.
Lectures on constructive mathematical analysis /Author: Kushner, B. A.
Publisher: Providence, R.I. : American Mathematical Society,
Date: c1984. This title can be found in 2 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.