|
|
|
Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
|
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968: Jerusalem)
|
1970.
|
|
|
Classification theory and the number of non-isomorphic models /
|
Shelah , S.
|
1978.
|
|
|
Model theory /
|
Keisler, H.J.
|
1977.
|
|
|
Logic , methodology , and philosophy of science /
|
Cohen, L. Jonathan
International Congress of Logic , Methodology , and Philosophy of Science 1979: Hannover)
|
1980.
|
|
|
Non-standard analysis /
|
Robinson, Abraham
|
1966.
|
|
|
Handbook of mathematical logic /
|
Barwise, Jon
|
1978.
|
|
|
Constructible sets with applications/
|
Mostowski, Andrzej.
|
1969.
|
|
|
The collected papers of Gerhard Gentzen/
|
Gentzen, Gerhard.
|
1969.
|
|
|
Abstract set theory/
|
Fraenkel, Abraham Adolf, 1891.
|
1968.
|
|
|
Axiomatic set theory. With a historical introduction/
|
Bernays, Paul, 1888.
|
1968.
|
|
|
Set theory/
|
Kuratowski, Kazimierz.
|
1968.
|
|
|
The theory of models: proceedings..../
|
International Symposium on the Theory of Models (1963: Berkeley, Calif.
|
1972.
|
|
|
Non-standard analysis/
|
Robinson, Abraham.
|
1974.
|
|
|
Logic, methodology, and philosophy: proceedings.../
|
INTFERNATIONAL Congress for Logic, Methodology, and Philosophy of Science (1964: Jerusalem.
|
1972.
|
|
|
Computer programming and formal systems/
|
Braffort, P.
|
1970.
|
|
|
Complete theories /
|
Robinson, Abraham, 1918-1974.
|
1977.
|
|
|
Foundations of set theory.
|
Fraenkel, Abraham Adolf, 1891-1965.
|
1973.
|
|
|
Quantification in nonclassical logic /
|
Gabbay, Dov M., 1945-
|
2009-
|
|
|
Topoi : the categorial analysis of logic
|
Goldblatt, Robert
|
1984
|
|
|
Lectures on the Curry-Howard isomorphism
|
Sørensen, Morten Heine.
|
2006.
|
|
|
Residuated lattices an algebraic glimpse at substructural logics /
|
|
2007.
|
|
|
Fundamentals of generalized recursion theory /
|
Fitting, Melvin, 1942-
|
c1981.
|
|
|
The lambda calculus : its syntax and semantics /
|
Barendregt, H. P. (Hendrik Pieter)
|
1981.
|
|
|
Proof theory /
|
Takeuti, Gaisi, 1926-
|
1975.
|
|
|
Elementary induction on abstract structures /
|
Moschovakis, Yiannis N.
|
1974.
|
|
|
Classical recursion theory : the theory of functions and sets of natural numbers /
|
Odifreddi, Piergiorgio, 1950-
|
1989-1999.
|
|
|
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory /
|
Hailperin, Theodore.
|
1986.
|
|
|
Quantification in nonclassical logic /
|
Gabbay, Dov M., 1945-
|
2009-
|
|
|
Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 /
|
International Congress of Logic, Methodology, and Philosophy of Science 1979 : Hannover, Germany)
|
1982.
|
|
|
Lectures on the Curry-Howard isomorphism
|
Sørensen, Morten Heine.
|
2006.
|
|
|
Residuated lattices an algebraic glimpse at substructural logics /
|
|
2007.
|
|
|
Logic, methodoloty, and philosophy of science: proceedings/
|
INTERNATIONAL Congress for Logic, Methodology and Philosophy of Science 1971: Bucharest.
|
1973.
|
|
|
Dictionary of symbols of mathematical logic/
|
Feys, Robert, 1889.
|
1969.
|
|
|
Studies in logic, By members of the Johns Hopkins university.
|
Peirce, Charles Santiago Sanders, 1839-1914.
|
1883.
|
|
|
Principles of knowledge representation /
|
|
c1996.
|
|
|
Studies in logical theory: essays,
|
|
1968.
|
|
|
Language processing and contextual influence : a study of Swedish preschool children with language impairment /
|
Reuterskièold Wagner, Christina.
|
1999.
|
|
|
Language processing and contextual influence : a study of Swedish preschool children with language impairment /
|
Reuterskièold Wagner, Christina.
|
1999.
|
|
|
Studies in luminescence and its relevance to luminescence screen technology /
|
M.K. Abdalla.
|
1976.
|
|
|
Studies in Machiavellianism /
|
Geis, Florence L.
|
1970.
|
|
|
The changing face of central banking evolutionary trends since World War II /
|
Siklos, Pierre L., 1955-
|
c2002.
|
|
|
The changing face of central banking evolutionary trends since World War II /
|
Siklos, Pierre L., 1955-
|
c2002.
|
|
|
Studies in macroeconomic theory /
|
Phelps, Edmund S.
|
c1979-1980.
|
|
|
The pusher and the sufferer : an unsentimental reading of Moby Dick /
|
Stein, Suzanne.
|
2000.
|
|
|
Philip Roth considered : the concentrationary universe of the American writer /
|
Milowitz, Steven.
|
2000.
|
|
|
Network analysis for planning and scheduling /
|
Battersby, Albert
|
1970.
|
|
|
Network analysis for planning and scheduling/
|
Battersby, Albert.
|
1970.
|
|
|
Systems analysis frameworks
|
Lee, Alec M.
|
[1970]
|
|
|
Organizational design for marketing futures
|
Hayhurst, Roy.
|
1972.
|
|
|
Planning and control systems ; a framework for analysis/
|
Anthony, Robert Newton, 1916.
|
1965.
|
|
|
Characteristics of an effective management control system in an industrial organization/
|
Deming, Robert Howard.
|
1968.
|
|
|
The Role of public agencies in fostering new technology and innovation in building
|
|
1992.
|
|
|
The Role of public agencies in fostering new technology and innovation in building
|
|
1992.
|
|
|
The fourth dimension in building strategies for minimizing obsolescence /
|
National Research Council (U.S.). Committee on Facility Design to Minimize Premature Obsolescence.
|
1993.
|
|
|
The fourth dimension in building strategies for minimizing obsolescence /
|
National Research Council (U.S.). Committee on Facility Design to Minimize Premature Obsolescence.
|
1993.
|
|
|
Technological Forecontrol : prospects , problems , and policy : managing todays technology for tomorrow's living /
|
Chacko, George Kuttickal , 1930-
|
1975.
|
|
|
Applied operations research : systems analysis in hierarchical decision-making /
|
Chacko, George Kuttickal, 1930-
|
1976.
|
|
|
Performance measurement and management control measuring and rewarding performance /
|
|
2008.
|
|
|
Reputation building, website disclosure and the case of intellectual capital
|
Abeysekera, Indra.
|
2011.
|
|
|
The shareholder's use of corporate annual reports /
|
Epstein, Marc J.
|
c1993.
|
|
|
Performance measurement and management control innovative concepts and practices /
|
|
2010.
|
|
|
Performance measurement and management control innovative concepts and practices /
|
|
2010.
|
|
|
Performance measurement and management control measuring and rewarding performance /
|
|
2008.
|
|
|
Reputation building, website disclosure and the case of intellectual capital
|
Abeysekera, Indra.
|
2011.
|
|
|
The miniatures of the Sacra parallela, Parisinus Graecus 923 /
|
Weitzmann, Kurt, 1904-1993.
|
�1979.
|
|
|
The miniatures of the Sacra parallela, Parisinus Graecus 923 /
|
Weitzmann, Kurt, 1904-1993.
|
�1979.
|
|
|
Illustrations in roll and codex , a study of the origin and methods of text illustr of text illustration , by Kurt Weitzmann.
|
Weitzmann, Kurt , 1904 -
|
1970.
|
|
|
Studies in maritime economics
|
Goss, R. O.
|
1968.
|
|
|
Making sense of Marx /
|
Elster, Jon, 1940-
|
1985.
|
|
|
Class counts : comparative studies in class analysis /
|
Wright, Erik Olin.
|
1997.
|
|
|
Ecology and historical materialism
|
Hughes, Jonathan, 1966-
|
2000.
|
|
|
Ecology and historical materialism
|
Hughes, Jonathan, 1966-
|
2000.
|
|
|
Economic analysis and operations research : optimization techniques in qauntitative economic models /
|
Sengupta , Jati K.
|
1975.
|
|
|
General equilibrium theory and international trade.
|
Negishi, Takashi, 1933-
|
1972.
|
|
|
Economic stabilization policy : method sin optimization /
|
Friedman, Benjamin M.
|
1975.
|
|
|
Applied economic forecasting /
|
Theil, Henri
|
1975.
|
|
|
Classical optimization : foundations and extensions /
|
Panik, Michael J.
|
1976.
|
|
|
Methods for linear and quadratic programming /
|
Panne, C. van de.
|
1975.
|
|
|
Management applications of modern control theory /
|
Bensoussan, Alain.
|
1974.
|
|
|
Statistical methods of econometrics
|
Malinvaud, Edmond.
|
1970.
|
|
|
Statistical methods of econometrics /
|
Malinvaud, Edmond.
|
1980.
|
|
|
Cost-benefit analysis and economic theory /
|
Lesourne, Jacques, 1928-
|
1975.
|
|
|
Use and abuse of statistical methods in the earth sciences /
|
|
1987.
|
|
|
Oil and gas forecasting : reflections of a petroleum geologist /
|
Drew, Lawrence J.
|
1990.
|
|
|
Computers in geology 25 years of progress /
|
|
1993.
|
|
|
Geostatistical glossary and multilingual dictionary /
|
|
1991.
|
|
|
Modern spatiotemporal geostatistics
|
Christakos, George.
|
2000.
|
|
|
Statistical methods for estimating petroleum resources
|
Lee, P. J. (Pei-Jen), 1934-1999.
|
2008.
|
|
|
Statistical methods for estimating petroleum resources
|
Lee, P. J. (Pei-Jen), 1934-1999.
|
2008.
|
|
|
Studies in mathematical learning theory/
|
Bush, Robert R.
|
1959.
|
|
|
Green functions for ordered and disordered systems /
|
Gonis, Antonios, 1945-
|
c1992.
|
|
|
The mathematical foundations of gauge theories /
|
Marathe, K. B. (Kishore B.)
|
c1992.
|
|
|
Studies in mathematical physics : essays in honor of Valentine Bargmann /
|
|
1976.
|
|
|
Studies in mathematical physics; lectures presented at the NATO Advanced Study Institute on Mathematical Physics held in Istanbul, August, 1970.
|
NATO Advanced Study Institute on Mathematical Physics, Istanbul, 1970.
|
[1973]
|
|
|
Engaging young children in mathematics : standards for early childhood mathematics education /
|
|
2004.
|
|
|
Algebra in the early grades /
|
|
c2008.
|
|
|
Early childhood mathematics education research : learning trajectories for young children /
|
Sarama, Julie.
|
2009.
|
|
|
Teaching and learning proof across the grades : a K-16 perspective /
|
|
2009.
|
|
|
Teaching and learning proof across the grades : a K-16 perspective /
|
|
2009.
|
|
|
Studies in model theory
|
Morley, Michael Darwin, 1930-
|
[c1973]
|
Log in
Help
