Results for 'Logic, Symbolic and mathematical Congresses.'

1000+ found
Order:
  1.  7
    Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979.Laurence Jonathan Cohen (ed.) - 1982 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
  2. Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Campinas, SP, Brazil: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
     
    Export citation  
     
    Bookmark  
  3.  8
    Logic, methodology, and philosophy of science, VII: proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983.Ruth Barcan Marcus, Georg Dorn & Paul Weingartner (eds.) - 1986 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
    Logic, Methodology and Philosophy of Science VII.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  8
    Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.Andrea Cantini, Ettore Casari & Pierluigi Minari (eds.) - 1999 - Dordrecht, Netherland: Springer.
    The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a collection of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  7
    Logic, methodology and philosophy of science.Patrick Suppes (ed.) - 1973 - New York,: American Elsevier Pub. Co..
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  6.  7
    Logic, methodology, and philosophy of science IX: proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991.Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) - 1994 - New York: Elsevier.
    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 ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Logic, Methodology and Philosophy of Science Proceedings of the 1964 International Congress. Edited by Yehoshua Bar-Hillel.Yehoshua Bar-Hillel - 1965 - North-Holland Pub. Co.
  8.  10
    Logic, methodology and philosophy of science.Yehoshua Bar-Hillel (ed.) - 1965 - Amsterdam,: North-Holland Pub. Co..
  9.  9
    Language, Quantum, Music: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995.Roberto Giuntini, Maria Luisa Dalla Chiara & Federico Laudisa - 1999 - Springer Verlag.
    Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  5
    Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, 1975: Logic, foundations of mathematics, and computability theory.Robert E. Butts & Jaakko Hintikka - 1977
  11.  6
    Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - New York: Cambridge University Press.
    Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  3
    Logic, action, and information: essays on logic in philosophy and artificial intelligence.André Fuhrmann & Hans Rott (eds.) - 1996 - New York: W. de Gruyter.
    Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  2
    Logic, methodology and philosophy of science.Patrick Suppes (ed.) - 1973 - New York,: American Elsevier Pub. Co..
  14.  9
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  15.  2
    Mathematical logic and foundations of set theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam,: North-Holland Pub. Co..
    LN , so f lies in the elementary submodel M'. Clearly co 9 M' . It follows that 6 = {f(n): n em} is included in M'. Hence the ordinals of M' form an initial ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  1
    Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  3
    Logic, Methodology and Philosophy of Science at Warsaw University: Studies and Contributions to the 11th International Congress of Logic, Methodology and Philosophy of Science, Kraków (Cracow) August 20-26, 1999.Mieszko Tałasiewicz (ed.) - 2002 - Wydawn. Nauk. Semper.
  18.  8
    Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici & Johan van Benthem - 1996 - Springer.
    This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  7
    Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995.Maria Luisa Dalla Chiara - 1996 - Springer.
    This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of foundational research into the various sciences, both natural and social. In addition, it has special interest items such as symposia on interfaces between logic and methodology, semantics and semiotics, as well as updates on the current state of the field in Eastern Europe (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Logic and Scientific Methods. Volume One of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995.M. L. Dalla Chiara, K. Doets, D. Mundici & J. Van Benthem - 2000 - Studia Logica 64 (3):443-448.
     
    Export citation  
     
    Bookmark  
  21.  6
    Mathematical Logic in Latin America Proceedings of the Iv Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. First International Interdisciplinary Symposium on Logic and Applications (May 29-June 2, 1990, Varna, Bulgaria).B. St Chendov, N. N. Obreshkov & T. R. Mikhaĭlova (eds.) - 1990 - Sofia: Pub. House of the Bulgarian Academy of Sciences.
     
    Export citation  
     
    Bookmark  
  23.  13
    Rabin Michael O.. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 38–68. [REVIEW]William Hanf - 1971 - Journal of Symbolic Logic 36 (1):150.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  6
    Jack Silver. On the singular cardinals problem. Proceedings of the International Congress of Mathematicians, Vancouver 1974, vol. 1, Canadian Mathematical Congress, Montreal1975, pp. 265–268. - Fred Galvin and András Hajnal. Inequalities for cardinal powers. Annals of mathematics, ser. 2 vol. 101 , pp. 491–498. - Keith J. Devlin and R. B. Jensen. Marginalia to a theorem of Silver. ISILC logic conference, Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, edited by G. H. Müller, A. Obsrschelp, and K. Potthoff, Lecture notes in mathematics, vol. 499, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 115–142. - Menachem Maoidor. On the singular cardinals problem I. Israel journal of mathematics, vol. 28 , pp. 1–31. - Menachem Magidor. On the singular cardinals problem II. Annals of mathematics, ser. 2 vol. 106 , pp. 517–547. [REVIEW]Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
  25.  4
    Schwabhäuser Wolfram. Metamathematical methods in foundations of geometry. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 152–165. [REVIEW]Lesław W. Szczerba - 1970 - Journal of Symbolic Logic 35 (3):474.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  4
    Cambridge Summer School in Mathematical Logic.A. R. D. Mathias & Hartley Rogers (eds.) - 1973 - New York,: Springer Verlag.
  27.  4
    Conference in Mathematical Logic, London '70.Wilfrid Hodges (ed.) - 1972 - New York,: Springer Verlag.
  28.  2
    Truth, Syntax and Modality.Hugues Leblanc (ed.) - 1973 - Amsterdam,: North-Holland.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  2
    Foundations Of Logic And Linguistics: Problems and Their Solutions.Georg Dorn & Paul Weingartner (eds.) - 1985 - New York, NY, USA: Springer.
    This volume comprises a selection of papers that were contributed to the 7th International Congress of Logic, Methodology and Philosophy of Science, which was held in Salzburg from the 11th - 16th July, 1983. There were 14 sections in this congress: 1. proof theory and foundations of mathematics 2. model theory and its applica ti on 3. recursion theory and theory of computation 4. axiomatic set theory 5. philosophical logic 6. general methodology of science 7. foundations of probability and induction (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  6
    ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974.Gert Heinz Müller, Arnold Oberschelp & Karl Potthoff (eds.) - 1975 - New York: Springer Verlag.
  31.  5
    Kleene S. C.. Turing-machine computable functionals of finite types I. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, California, 1962, pp. 38–45.Kleene S. C.. Turing-machine computable functionals of finite types II. Proceedings of the London Mathematical Society, ser. 3 vol. 12 , pp. 245–258. [REVIEW]D. A. Clarke - 1970 - Journal of Symbolic Logic 35 (4):588-589.
  32.  2
    Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 24–30. [REVIEW]Stephen A. Cook - 1970 - Journal of Symbolic Logic 34 (4):657-657.
  33.  3
    Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301. [REVIEW]Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    Szczerba L. W. and Tarski A.. Metamathematical properties of some affine geometries. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 166–178. [REVIEW]Wolfgang Rautenberg - 1971 - Journal of Symbolic Logic 36 (2):333-334.
  35.  11
    James E. Baumgartner. Bases for Aronszajn trees. Tsukuba journal of mathematics, vol. 9 , pp. 31–40. - James E. Baumgartner. Polarized partition relations and almost-disjoint functions. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 213–222. [REVIEW]Stevo Todorcevic - 2000 - Bulletin of Symbolic Logic 6 (4):497-498.
  36.  6
    Frege: Importance and Legacy.Matthias Schirn (ed.) - 1996 - New York: De Gruyter.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  4
    Stevo Todorčević, Forcing positive partition relations, Transactions of the American Mathematical Society, vol. 280 , pp. 703–720. - Stevo Todorčević, Directed sets and cofinal types, Transactions of the American Mathematical Society, vol. 290 , pp. 711–723. - Stevo Todorčević, Reals and positive partition relations, Logic, methodology and philosophy of science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, edited by Ruth Barcan Marcus, Georg J. W. Dorn, and Paul Weingartner, Studies in logic and the foundations of mathematics, vol. 114, North-Holland, Amsterdam, New York, Oxford, and Tokyo, 1986, pp. 159–169. - Stevo Todorčević, Remarks on chain conditions in products, Compositio mathematica, vol. 55 , pp. 295–302. - Stevo Todorčević, Remarks on cellularity in products, Compositio mathematica, vol. 57 , pp. 357–372. - Stevo Todorčević, Partition relations for partially ordered sets, Acta mathematica, vol. 155 , p. [REVIEW]Alan Dow - 1989 - Journal of Symbolic Logic 54 (2):635-638.
  38.  5
    Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 127–151. [REVIEW]F. R. Drake - 1970 - Journal of Symbolic Logic 34 (4):653-654.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 , pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130. [REVIEW]Donald L. Kreider - 1964 - Journal of Symbolic Logic 29 (1):60-62.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  4
    Thoralf Skolem. Bemerkungen zum Komprehensionsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 , pp. 1–17. - C. C. Chang. The axiom of comprehension in infinite valued logic. Mathematica Scandinavica, vol. 13 , pp. 9–30. - Jens Erik Fenstad. On the consistency of the axiom of comprehension in the Łukasiewicz infinite valued logic. Mathematica Scandinavica, vol. 14 , pp. 65–74. - C. C. Chang. Infinite valued logic as a basis for set theory. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 93–100. [REVIEW]Azriel Lévy - 1967 - Journal of Symbolic Logic 32 (1):128-129.
  41. Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 mai 1991.Gabriel V. Orman (ed.) - 1991 - Brasov: Society of Mathematics Sciences.
  42.  6
    George Boolos. The iterative conception of set. The journal of philosophy, vol. 68 , pp. 215–231. - Dana Scott. Axiomatizing set theory. Axiomatic set theory, edited by Thomas J. Jech, Proceedings of symposia in pure mathematics, vol. 13 part 2, American Mathematical Society, Providence1974, pp. 207–214. - W. N. Reinhardt. Remarks on reflection principles, large cardinals, and elementary embeddings. Axiomatic set theory, edited by Thomas J. Jech, Proceedings of symposia in pure mathematics, vol. 13 part 2, American Mathematical Society, Providence1974, pp. 189–205. - W. N. Reinhardt. Set existence principles of Shoenfield, Ackermann, and Powell. Fundament a mathematicae, vol. 84 , pp. 5–34. - Hao Wang. Large sets. Logic, foundations of mathematics, and computahility theory. Part one of the proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada–1975, edited by Robert E. Butts and Jaakko Hintikka, The University of Western. [REVIEW]John P. Burgess - 1985 - Journal of Symbolic Logic 50 (2):544-547.
  43.  8
    Jerome Keisler H.. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 112–126. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):585.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  6
    Hintikka Jaakko. Towards a theory of inductive generalization. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 274–288. [REVIEW]Ian Hacking - 1970 - Journal of Symbolic Logic 35 (3):454.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  8
    Mathematical interpretation of formal systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1971 - Amsterdam: North-Holland Pub. Co..
  46.  7
    The proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark, 1971.John Bell & Bertrand Russell (eds.) - 1973 - Leeds (c/o Dr. A. Slomson, School of Mathematics, The University, Leeds LS2 9JT): Bertrand Russell Memorial Logic Conference.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  2
    Mathematical interpretation of formal systems.Th Wiskundig Genootschap & Skolem (eds.) - 1971 - Amsterdam: North-Holland Pub. Co..
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  6
    Historical and Philosophical Dimensions of Logic, Methodology, and Philosophy of Science.Robert E. Butts & Jaakko Hintikka - 1977 - Springer.
    Part four of the Proceedings of the fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, August 27-September 2, 1975.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  4
    Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
    Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  8
    Patras Logic Symposion: proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980.George Metakides (ed.) - 1982 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000