[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science Volume 114 || Reals and Positive Partition Relations

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science IX, Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science Volume 134 || Contributed papers

✍ , 📂 Article 📅 1995 🏛 Elsevier 🌐 English ⚖ 839 KB

This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of the invited lectures. Divided into 15 sections, the book covers a wide range of different issues. The reader is given the opportunity to le

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science Volume 104 || Constructive Mathematics and Computer Programming

✍ , 📂 Article 📅 1982 🏛 Elsevier 🌐 English ⚖ 908 KB

Logic, Methodology and Philosophy of Science VI

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science IX, Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science Volume 134 || Asymptotics, singularities and the reduction of theories

✍ Berry, Michael 📂 Article 📅 1995 🏛 Elsevier 🌐 English ⚖ 590 KB

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress Volume 44 || Foundations of Intuitionistic Logic

✍ Kreisel, G. 📂 Article 📅 1966 🏛 Elsevier 🌐 English ⚖ 618 KB

[Studies in Logic and the Foundations of

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science III Volume 52 || Constructive Reasoning

✍ Tait, W.W. 📂 Article 📅 1968 🏛 Elsevier 🌐 English ⚖ 699 KB

Provability, Computability and Reflection

International union of history and philo

International union of history and philosophy of science division of logic, methodology and philosophy of science The 11th International Congress of Logic, Methodology and Philosophy of Science

📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 53 KB 👁 1 views

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science Volume 114 || Reals and Positive Partition Relations

✦ Synopsis