Your search returned 7 results.

Sort
Results
1.
Logic, methodology, and philosophy of science; proceedings./ Edited by Ernest Nagel, Patrick Suppes [and] Alfred Tarski. by
  • Nagel, Ernest, 1901- [ed.]
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
  • National Academy of Sciences (U.S.)
  • International Congress for Logic, Methodology and Philosophy of Science (1960 : Stanford, Calif.)
Publication details: Stanford, Calif.: Stanford University, 1962
Availability: Items available for loan: Castorina (1)Call number: 510.1 L832 1962 IMPA.

2.
The problem of inductive logic/ edited by Imre Lakatos. by
  • International Colloquium in the Philosophy of Science (1965: Bedford College)
  • Lakatos, Imre [ed.]
  • Bedford College
  • British Society for the Philosophy of Science
  • London School of Economics and Political Science
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam: North-Holland, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 P962 1968 IMPA.

3.
Logic, methodology and philosophy of science: Proceedings/ edited by Yehoshua Bar-Hillel. by
  • International Congress for Logic, Methodology, and Philosophy of Science (2nd : 1964 : Jerusalém)
  • Bar-Hillel, Yehoshua [ed.]
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
  • Akademyah ha-le umit hayisre elit le-mada im
  • Universitah ha-Ivrit bi-Yerushalayim
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1965
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1965 IMPA.

4.
Logic, methodology and philosophy of science: Proceedings/ ed. by Patrick Suppes [a. o.]. by
  • International Congress for Logic, Methodology, and Philosophy of Science (4th :: 1971 :: Bucharest, Romania)
  • Suppes, Patrick, 1922- [ed.]
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
  • Academia Republicii Socialiste Romania
Series: Studies in logic and the foundations of mathematics ; v. 74.
Language: engfregerrus
Publication details: Amsterdam: New York: North-Holland, American Elsevier, 1973
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1973 IMPA.

5.
Contributions to mathematical logic: Proceedings of the Logic Colloquium, Hannover 1966/ edited by H. Arnold Schmidt, K. Schütte [and] H.J. Thiele. by
  • Logic Colloquium (11th :: 1966 :: Hannover, Germany)
  • Schmidt, H. Arnold [ed.]
  • Schütte, K. (Kurt) [ed.]
  • Thiele, H. J. (Helmut J.) [ed.]
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam: North-Holland, 1968
Availability: Items available for loan: Castorina (1)Call number: 511.3 C764 1968 IMPA.

6.
Formal systems and recursive functions; proceedings/ Edited by J.N. Crossley and M.A.E. Dummett. by
  • Logic Colloquium ((8th : : 1963 : : Oxford, Oxfordshire))
  • Crossley, John N [ed.]
  • Dummett, Michael A. E [ed.]
  • Association for Symbolic Logic
  • North Atlantic Treaty Organization
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
  • Symposium on Recursive Functions ((1963 : : Oxford, Oxfordshire))
Series: Studies in logic and the foundations of mathematics
Publication details: Amsterdam ; North-Holland, 1965
Availability: Items available for loan: Castorina (1)Call number: 511.3 F723 1965 IMPA.

7.
Logic Colloquium '69; proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969/ Edited by R.O. Gandy and C.M.E. Yates. by
  • Summer School in Mathematical Logic (1969 : University of Manchester)
  • Gandy, R. O. (Robin O.) [ed.]
  • Yates, C. Michael E [ed.]
  • North Atlantic Treaty Organization
  • International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
  • University of Manchester
  • Association for Symbolic Logic
  • Logic Colloquium (14th : 1969 : Manchester, Eng.)
Series: Studies in logic and the foundations of mathematics ; v. 61
Publication details: Amsterdam ;: North-Holland, 1971
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1971 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha