Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 50 results in range #51 to #100.

View ( | ) (20 | 50 | 100 | 250 | 500)

  1. S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp.— therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4–19. - J.M.E. Hyland. The Forgotten Turing: Label: en
  2. Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34, College Publications, London, 2011, viii + 401 pp.: Label: en
  3. RELATIVIZING OPERATIONAL SET THEORY: Label: en
  4. USING ALMOST-EVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS: Label: en
  5. IN MEMORIAM: HARTLEY ROGERS, JR. 1926–2015: Label: en
  6. Byunghan Kim. Simplicity Theory. Oxford Logic Guides, 53. Oxford University Press, Oxford, 2014, x+224 pp.: Label: en
  7. Gregory H. Moore (ed.), The Collected Papers of Bertrand Russell, Volume 5: Toward “Principia Mathematica”, London and New York: Routledge, 2014, c + 954 and 10 plates.: Label: en
  8. Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp.: Label: en
  9. Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp.: Label: en
  10. DEEP CLASSES: Label: en
  11. COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM: Label: en
  12. EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS: Label: en
  13. LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE: Label: en
  14. OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS: Label: en
  15. LINEAR TIME IN HYPERSEQUENT FRAMEWORK: Label: en
  16. THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION: Label: en
  17. CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE: Label: en
  18. 2014–2015 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Henry B. Gonzalez Convention Center San Antonio, TX, USA January 12–13, 2015: Label: en
  19. JAAKKO HINTIKKA 1929–2015: Label: en
  20. THE CLASSIFICATION PROBLEM FOR AUTOMORPHISMS OF C*-ALGEBRAS: Label: en
  21. SYMMETRIES IN MODAL LOGICS: Label: en
  22. 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09: Label: en
  23. The Axiom of Infinity and Transformations j: V → V: Label: en
  24. Strong Logics of First and Second Order: Label: en
  25. Twelfth Asian Logic Conference, Victoria University of Wellington, Wellington, New Zealand, December 15–20, 2011: Label: en
  26. 2012 North American Annual Meeting of the Association for Symbolic Logic, University of Wisconsin, Madison, WI, USA, March 31–April 3, 2012: Label: en
  27. 2012 North American Annual Meeting of the Association for Symbolic Logic, University of Wisconsin, Madison, WI, USA, March 31–April 3, 2012: Label: en
  28. 2011–2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA, January 6–7, 2012: Label: en
  29. Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II, edited by Raf Cluckers, Johannes Nicaise and Julien Sebag, London Mathematical Society Lecture Note Series, 383 and 384. Cambridge University Press,: Label: en
  30. Shift-complex sequences: Label: en
  31. The foundational problem of logic: Label: en
  32. 2015–2016 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Washington State Convention Center Seattle, WA January 6–9, 2016: Label: en
  33. IN MEMORIAM: WALTER (WOUTER) VAN STIGT (1927–2015): Label: en
  34. G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp.: Label: en
  35. Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp.: Label: en
  36. IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES: Label: en
  37. M. Carrara, A. Arapinis, and F. Moltmann, editors. Unity and Plurality: Logic, Philosophy, and Linguistics. Oxford University Press, 2016.: Label: en
  38. Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.: Label: en
  39. RUSSELL AND GÖDEL: Label: en
  40. ISOMORPHISM INVARIANCE AND OVERGENERATION: Label: en
  41. GÖDEL’S NOTRE DAME COURSE: Label: en
  42. MAXIMAL COMPUTABILITY STRUCTURES: Label: en
  43. 2019 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC City University of New York Graduate Center New York, New York, USA May 20–23, 2019: Label: en
  44. ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING The Westin Denver Downtown Denver, Colorado, USA February 21–22, 2019: Label: en
  45. ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING Baltimore Convention Center Baltimore, MD, USA January 18–19, 2019: Label: en
  46. N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp.: Label: en
  47. ETA-RULES IN MARTIN-LÖF TYPE THEORY: Label: en
  48. MODEL THEORY AND MACHINE LEARNING: Label: en
  49. LARGE CARDINALS BEYOND CHOICE: Label: en
  50. 2018 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2018 Udine, Italy July 23–28, 2018: Label: en

View ( | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q2795200"
Powered by MediaWiki