description: Contains the invited lectures from the August 1991 congress, covering a wide range of issues in the field of logic, methodology, and philosophy of science. The volume is divided into 15 major proof theory and categorical logic; model theory, set theory, and formal systems; recursion theory and constructivism; logic and computer science; philosophical logic; methodology; probability, induction, and decision theory; history of logic, methodology, and philosophy of science; ethics of science and technology; foundations of logic, mathematics, and computer science; foundations of physical sciences; foundations of cognitive science and AI; foundations of linguistics; and foundations of social sciences. Annotation copyright Book News, Inc. Portland, Or.
language: English
title: Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, U ... and the Foundations of Mathematics, V. 134)
titlecomplete: Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, U ... and the Foundations of Mathematics, V. 134)
publisher: Elsevier Science Ltd