Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444104915

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hauptsatz for Intuitionistic Simple Type Theory

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70365-9 ◽

1973 ◽

pp. 279-290

Author(s):

P. Martin-Löf

Keyword(s):

Type Theory ◽

Simple Type ◽

Simple Type Theory

Download Full-text

The Material Mind

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70396-9 ◽

1973 ◽

pp. 709-722 ◽

Cited By ~ 3

Author(s):

D. Davidson

Download Full-text

The Status of Hidden-Variable Theories

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70387-8 ◽

1973 ◽

pp. 593-601

Author(s):

A. Shimony

Keyword(s):

Hidden Variable ◽

The Status ◽

Hidden Variable Theories

Download Full-text

Perspectives in the Philosophy of Pure Mathematics

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70364-7 ◽

1973 ◽

pp. 255-277 ◽

Cited By ~ 3

Author(s):

G. Kreisel

Keyword(s):

Pure Mathematics

Download Full-text

Conditional Causal Relations and their Approximations in the Social Sciences

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70400-8 ◽

1973 ◽

pp. 765-787

Author(s):

S. Nowak

Keyword(s):

Social Sciences ◽

Causal Relations ◽

The Social

Download Full-text

Formalization of Some Notions in Terms of Computational Complexity

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70359-3 ◽

1973 ◽

pp. 205-213 ◽

Cited By ~ 4

Author(s):

B.A. Trakhtenbrot

Keyword(s):

Computational Complexity

Download Full-text

Hegel's Conception of ‘Begriffsbestimmung’ and his Philosophy of Science

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70410-0 ◽

1973 ◽

pp. 943-955

Author(s):

G. Buchdahl

Keyword(s):

Philosophy Of Science

Download Full-text

Demonstrative and Heuristic Aspects in the Logical Modeling of Science

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70375-1 ◽

1973 ◽

pp. 407-413

Author(s):

A. Uyemov

Keyword(s):

Logical Modeling

Download Full-text

Carnap's Normative Theory of Inductive Probability

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70382-9 ◽

1973 ◽

pp. 501-513

Author(s):

W. Stegmüller

Keyword(s):

Normative Theory ◽

Inductive Probability

Download Full-text

Aristotle, Łukasiewicz and the Origins Of Many-Valued Logic

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70408-2 ◽

1973 ◽

pp. 921-929 ◽

Cited By ~ 1

Author(s):

G. Patzig

Download Full-text

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Hauptsatz for Intuitionistic Simple Type Theory

The Material Mind

The Status of Hidden-Variable Theories

Perspectives in the Philosophy of Pure Mathematics

Conditional Causal Relations and their Approximations in the Social Sciences

Formalization of Some Notions in Terms of Computational Complexity

Hegel's Conception of ‘Begriffsbestimmung’ and his Philosophy of Science

Demonstrative and Heuristic Aspects in the Logical Modeling of Science

Carnap's Normative Theory of Inductive Probability

Aristotle, Łukasiewicz and the Origins Of Many-Valued Logic

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 - Studies in Logic and the Foundations of Mathematics
Latest Publications