[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress Volume 44 || Symposium on Decision Problems: On a Decision Method in Restricted Second Order Arithmetic

[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 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 VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science Volume 114 || Reals and Positive Partition Relations

✍ Todorčevič, Stevo 📂 Article 📅 1986 🏛 Elsevier 🌐 English ⚖ 427 KB

Logic, Methodology and Philosophy of Science VII

[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] Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 Volume 74 || Propensities, Statistics and Inductive Logic

✍ Hacking, I. 📂 Article 📅 1973 🏛 Elsevier 🌐 English ⚖ 899 KB

Provability, Computability and Reflection