Results for 'Mathematics Congresses.'

999 found
Order:
  1.  46
    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.
  2.  30
    Mathematical Problems. Lecture Delivered Before the International Congress of Mathematicians at Paris in 1900.David Hilbert, Mary Winston Newsom, Felix E. Browder, Donald A. Martin, G. Kreisel & Martin Davis - 1979 - Journal of Symbolic Logic 44 (1):116-119.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  9
    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  
  4. 'Unsolved Problems of Mathematics' J von Neumann's address to the International Congress of Mathematicians, Amsterdam, September 2-9, 1954.Miklos Redei - 1999 - The Mathematical Intelligencer 21:7-12.
  5.  21
    Logic, Foundations of Mathematics and Computability Theory / Foundational Problems in the Special Sciences / Basic Problems in Methodology and Linguistics / Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. Parts One, Two, Three and Four of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science.R. E. Butts & J. Hintikka - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (1):194-195.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    Kalmár L.. On unsolvable mathematical problems. Actes du Χme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, pp. 756–758. [REVIEW]Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (2):130-131.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  42
    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  
  8.  56
    McCarthy J.. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September 1962, edited by Popplewell Cicely M., North-Holland Publishing Company, Amsterdam 1963, pp. 21–28.McCarthy John. Problems in the theory of computation. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume I, edited by Kalenich Wayne A., Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 219–222. [REVIEW]Richard J. Orgass - 1971 - Journal of Symbolic Logic 36 (2):346-347.
  9.  6
    Church Alonzo. Mathematics and logic. Logic, methodology and philosophy of science, Proceedings of the I960 International Congress, edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, Calif., 1962, pp. 181–186. [REVIEW]E. J. Lemmon - 1963 - Journal of Symbolic Logic 28 (1):106-107.
  10.  7
    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.  66
    David Hilbert. Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 . Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 1–34. - Donald A. Martin. Hilbert's first problem: the continuum hypothesis. A reprint of 1084 . Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 81–92. - G. Kreisel. What have we learnt from Hilbert's second proble. [REVIEW]C. Smoryński - 1979 - Journal of Symbolic Logic 44 (1):116-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  16
    Kleene S. C.. Mathematical logic: Constructive and non-constructive operations. Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press 1960, pp. 137–153. [REVIEW]Julia Robinson - 1962 - Journal of Symbolic Logic 27 (1):78-78.
  13. Proceedings of the Symposium on Mathematical Practice and Cognition Ii: A Symposium at the Aisb/Iacap World Congress 2012.Alison Pease & Brendan Larvor (eds.) - 2012 - Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
     
    Export citation  
     
    Bookmark  
  14.  15
    Cultivating the Herb Garden of Scandinavian Mathematics: The Congresses of Scandinavian Mathematicians, 1909-1925.Laura E. Turner & Henrik Kragh Sørensen - 2013 - Centaurus 55 (4):385-411.
  15. The space of mathematics: philosophical, epistemological, and historical explorations.Javier Echeverría, Andoni Ibarra & Thomas Mormann (eds.) - 1992 - New York: W. de Gruyter.
    The Protean Character of Mathematics SAUNDERS MAC LANE (Chicago) 1. Introduction The thesis of this paper is that mathematics is protean. ...
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  11
    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..
  17. Studies in Logic and Foundations of Mathematics. Volume 74: Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971.Patrick Suppes, Leon Henkin, Joja Athanase & G. Moisil (eds.) - 1973 - Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  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. 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  
  19.  58
    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  
  20.  5
    Mathematical interpretation of formal systems.Th Wiskundig Genootschap & Skolem (eds.) - 1971 - Amsterdam: North-Holland Pub. Co..
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. The Philosophy of mathematics today.Matthias Schirn (ed.) - 1998 - New York: Clarendon Press.
    This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  23
    Lachlan A. H.. On the number of countable models of a countable superstable theory. Logic methodology and philosophy of science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971, edited by Suppes Patrick et al., Studies in logic and the foundations of mathematics, vol. 74, North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, New York, 1973, pp. 45–56.Lascar Daniel. Ranks and definability in superstable theories. Israel journal of mathematics, vol. 23 , pp. 53–87. [REVIEW]Terrence Millar - 1982 - Journal of Symbolic Logic 47 (1):215-217.
  23.  40
    Mathematical foundations of quantum theory.A. R. Marlow (ed.) - 1978 - New York: Academic Press.
    Mathematical Foundations of Quantum Theory is a collection of papers presented at the 1977 conference on the Mathematical Foundations of Quantum Theory, held in New Orleans. The contributors present their topics from a wide variety of backgrounds and specialization, but all shared a common interest in answering quantum issues. Organized into 20 chapters, this book's opening chapters establish a sound mathematical basis for quantum theory and a mode of observation in the double slit experiment. This book then describes the Lorentz (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  15
    Kleene S. C.. Recursive functions and intuitionistic mathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 679–685. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (2):181-182.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  32
    A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 , pp. 477–507. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  63
    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  
  27.  14
    de Iongh J. J.. Restricted forms of intuitionistic mathematics. Actes du Xme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, pp. 744–748. [REVIEW]David Nelson - 1949 - Journal of Symbolic Logic 14 (3):183-184.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  27
    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.
  29.  35
    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.
  30.  17
    Structures in mathematical theories: reports of the San Sebastian international symposium, September 25-29, 1990.Amparo Díez, Javier Echeverría & Andoni Ibarra (eds.) - 1990 - [Spain]: Argitarapen Zerbitzua Euskal, Herriko Unibertsitatea.
  31.  6
    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  
  32.  43
    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  
  33.  13
    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  
  34.  17
    Popper K. R.. On the theory of deduction, Part I. Derivation and its generalizations. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 , pp. 173–183; also Indagationes mathematicae, vol. 10 , pp. 44–54.Popper K. R.. On the theory of deduction, Part II. The definitions of classical and intuitionist negation. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 , pp. 322–331; also ibid., pp. 111–120.Popper K. R.. The trivialization of mathematical logic. Library of the Xlh International Congress of Philosophy . Vol. I. Proceedings of the Congress. Preprint 1948, pp. 510–515. [REVIEW]S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):62-63.
  35.  23
    Troelstra A. S.. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 201–223. [REVIEW]R. E. Vesley - 1973 - Journal of Symbolic Logic 38 (2):332-332.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  26
    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.
  37.  19
    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  
  38.  33
    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.
  39.  30
    Robinson Abraham. On the application of symbolic logic to algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 686–694.Tarski Alfred. Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 705–720. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (2):182-182.
  40.  22
    Keisler H. J.. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by van Rootselaar B. and Staal J. F., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62. [REVIEW]H. -D. Ebbinghaus - 1974 - Journal of Symbolic Logic 39 (2):334-335.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  16
    Kallick Bruce. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by Morrell A. J. H., North-Holland Publishing Company, Amsterdam 1969, pp. 269–275. [REVIEW]Joyce Friedman - 1973 - Journal of Symbolic Logic 38 (4):656-656.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  38
    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  
  43.  31
    Donald A. Martin. Borel determinacy. Annals of mathematics, ser. 2 vol. 102 , pp. 363–371. - Donald A. Martin. Infinite games. Proceedings of the International Congress of Mathematicians, Helsinki 1978, vol. 1, edited by Olli Lehto, Academia Scientarium Fennica, Helsinki1980, pp. 269–273. [REVIEW]A. Louveau - 1984 - Journal of Symbolic Logic 49 (4):1425.
  44.  24
    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.
  45.  19
    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]Yehoshua Bar-Hillel - 1970 - Journal of Symbolic Logic 34 (4):653-654.
  46.  54
    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.
  47.  19
    Brouwer L. E. J.. Consciousness, philosophy, and mathematics. Actes du Χme Congrès International de Philosophie —Proceedings of the Tenth International Congress of Philosophy , North-Holland Publishing Company, Amsterdam 1949, pp. 1235–1249. [REVIEW]Alonzo Church - 1949 - Journal of Symbolic Logic 14 (2):132-132.
  48.  8
    Skolem Th.. Some remarks on the foundation of set theory. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, pp. 695–704. [REVIEW]Abner Shimony - 1953 - Journal of Symbolic Logic 18 (1):77-78.
  49.  16
    Shepherdson J. C.. Machine configuration and word problems of given degree of unsolvability. 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. 69–80.Shepherdson J. C.. Machine configuration and word problems of given degree of unsolvability. Zeitschrift für mathematlsche Logik und Grundlagen der Mathematik, vol. 11 , pp. 149–175. [REVIEW]W. E. Singletary - 1968 - Journal of Symbolic Logic 33 (1):120-121.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  31
    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.
1 — 50 / 999