This book has two parts. The first part is chiefly concerned with critically establishing the universally necessary order of the various steps of transcendental phenomenological method; the second part provides specific cases of phenomenological analysis that illustrate and test the method established in the first part. More than this, and perhaps even more important in the long run, the phenomeno logical analyses reported in the second part purport a foundation for drawing phenomenological-philosophical conclusions about prob lems of space perception, "other minds," and time perception. The...

Some years ago, when Principal and Professor of Economics at the infant Univer- sity of Buckingham, Britain's only independent university, I was intrigued to receive an application, supported by strong recommendations from a Signora Ilde Rizzo, who wished to take some courses in public finance. As she was already an of Catania, noted for its expertise in the economics of Assistant at the University public finance, my colleagues and I brushed aside her modest request to attend undergraduate courses and enrolled her in our new graduate course. We also hoped that she might, in time, be able to...

During the period I have been working on this project I have received institutional support of several kinds, for which I am most grateful. I thank the Institute for Advanced Study at Stanford University, and the Spencer Foundation, for a stimulating environment in which the basic idea of this book was developed. The Max Planck Institute for Psycholinguistics at Nijmegen enabled me to spend several months working on the the manuscript. ANational Science Foundation grant to develop Discourse Representation theory, and a grant from The University Research Institute of the University of Texas,...

The author provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. He presents a new clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semiautomatically in elementary set theory. He presents a semiautomated proof that the composition of homomorphisms is a homomorphism, thus solving a challenge problem.
The author next develops Peano's arithmetic, and gives more than 1200 definitions and theorems in elementary number theory. He gives part of the proof of the fundamental theorem of...

I consider it a privilege to have been invited to write a preface for "The Limits to Certainty." It is however paradoxical that a theo retical physicist be asked to write about a monograph dealing mainly with service economics. Notwithstanding, I am delighted to do so. Indeed, it is striking that two so widely different fields like physics and social science, and more especially economics, can interact in such a constructive way. There is no question here of reductionism. Nobody claims to be able to reduce social scien ces to physics, nor to use patterns of social interaction in order to...

These two volumes contain the proceedings of the Workshop on Transition, Turbulence and Combustion, sponsored by the Insti- tute for Computer Applications in Science and Engineering (ICASE) and the NASA Langley Research Center (LaRC), during June 7 to July 2, 1993. Volume I contains the contributions from the transi- tion research, and Volume II contains the contributions from both the turbulence and combustion research. This is the third workshop in the series on the subject. The first was held in 1989, the second in 1991, and their proceedings were published by Springer-Verlag under the...

In The Asian City the Asian urbanisation processes, nature and characteristics of the 1990s have been analyzed by countries, by comparing different countries and in an international context. The authors are urban specialists from four continents.
This volume has been divided into six parts: Part I Urbanisation in an international context; Part II Comparative urban setting; Part III Urbanisation characteristics by country; Part IV Urban planning; Part V The urban poor, and Part VI Perspectives on urbanization.
This work allows the reader to understand Asian urban forms,...

Recently, De Nederlandsche Bank in coope: ration with the CentER for Economic Research of Tilburg University organised an international conference on monetary policy. This volume contains the papers, comments and speeches given on that occasion. The organisation of such a conference and the publication of this book were possible only through the efforts of a number of people. More in particular I would like to thank the organising committee (prof Onno de Beaufort Wijnholds, assoc prof Sylvester Eijffinger, dr Lex Hoogduin and Broos van der Werff), Hans Haan the conference manager, Imelda...

A significant part of understanding how people use geographic information and technology concerns human cognition. This book provides the first comprehensive in-depth examination of the cognitive aspects of human-computer interaction for geographic information systems (GIS). Cognitive aspects are treated in relation to individual, group, behavioral, institutional, and cultural perspectives. Extensions of GIS in the form of spatial decision support systems and SDSS for groups are part of the geographic information technology considered.
Audience: Geographic information users,...

In science, engineering and economics, decision problems are frequently modelled by optimizing the value of a (primary) objective function under stated feasibility constraints. In many cases of practical relevance, the optimization problem structure does not warrant the global optimality of local solutions; hence, it is natural to search for the globally best solution(s).
Global Optimization in Action provides a comprehensive discussion of adaptive partition strategies to solve global optimization problems under very general structural requirements. A unified approach to...