Subsystems of second order arithmetic /Author: Simpson, Stephen G.
Publisher: Cambridge ; Cambridge University Press,
Date: 2009. This title can be found in 1 Iowa libraries.
Propositional and predicate calculus : a model of argument /Author: Goldrei, Derek
Publisher: London : Springer,
Date: c2005. This title can be found in 2 Iowa libraries.
Elements of deductive inference : an introduction to symbolic logic /Author: Bessie, Joseph.
Publisher: Belmont, CA : Wadsworth Publishing,
Date: c2000. This title can be found in 2 Iowa libraries.
Prelude to cycle 23 the case for a fast-rising, large amplitude cycle /Format: [microform] :
Publisher: [Huntsville, Ala.] : National Aeronautics and Space Administration, Marshall Space Flight Center ;
Date: 1996] This title can be found in 2 Iowa libraries.
Technical methods in philosophy /Author: Pollock, John L.
Publisher: Boulder : Westview Press,
Date: 1990. This title can be found in 6 Iowa libraries.
Predicate calculus and program semantics /Author: Dijkstra, Edsger Wybe.
Publisher: New York : Springer-Verlag,
Date: c1990. This title can be found in 2 Iowa libraries.
Ontological economy : substitutional quantification and mathematics /Author: Gottlieb, Dale.
Publisher: New York : New York : Oxford University Press,
Date: 1980. This title can be found in 2 Iowa libraries.
Game-theoretical semantics : essays on semantics /Publisher: Boston : Boston : D. Reidel Pub. Co.,
Date: c1979. This title can be found in 3 Iowa libraries.
Logic, form and function : the mechanization of deductive reasoning /Author: Robinson, J. A.
Publisher: New York : North-Holland,
Date: c1979. This title can be found in 1 Iowa libraries.
Logic : form and function : the mechanization of deductive reasoning /Author: Robinson, J. A.
Publisher: Edinburgh : University Press,
Date: c1979. This title can be found in 2 Iowa libraries.
The decision problem : solvable classes of quantificational formulas /Author: Dreben, Burton.
Publisher: Reading, Mass. : Addison-Wesley, Advanced Book Program,
Date: 1979. This title can be found in 2 Iowa libraries.
The computational complexity of logical theories /Author: Ferrante, Jeanne,
Publisher: New York : New York : Springer-Verlag,
Date: 1979. This title can be found in 2 Iowa libraries.
Formal semantics and pragmatics for natural languages /Publisher: Boston : Boston : D. Reidel Pub. Co.,
Date: c1979. This title can be found in 3 Iowa libraries.
Model theory for modal logic : Kripke models for modal predicate calculi /Author: Bowen, Kenneth A.
Publisher: Boston : Boston : D. Reidel Pub. Co.,
Date: c1979. This title can be found in 2 Iowa libraries.
Predicate-oriented database search algorithms /Author: Willard, Dan E.,
Publisher: New York : Garland Pub.,
Date: 1979. This title can be found in 2 Iowa libraries.
Existence and the particular quantifier /Author: Orenstein, Alex.
Publisher: Philadelphia : Temple University Press,
Date: 1978. This title can be found in 2 Iowa libraries.
Worlds, times and selves /Author: Prior, A. N.
Publisher: Amherst : University of Massachusetts Press,
Date: 1977. This title can be found in 1 Iowa libraries.
Worlds, times and selves /Author: Prior, Arthur N.
Publisher: Amherst : University of Massachusetts Press,
Date: 1977. 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.