{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:52:26Z","timestamp":1725580346733},"publisher-location":"Dordrecht","reference-count":27,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400700796"},{"type":"electronic","value":"9789400700802"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-94-007-0080-2_1","type":"book-chapter","created":{"date-parts":[[2011,4,1]],"date-time":"2011-04-01T14:04:08Z","timestamp":1301666648000},"page":"3-17","source":"Crossref","is-referenced-by-count":0,"title":["What Is Mathematical Logic? A Survey"],"prefix":"10.1007","author":[{"given":"John N.","family":"Crossley","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,10]]},"reference":[{"volume-title":"Handbook of Mathematical Logic","year":"1977","key":"1_CR1","unstructured":"Barwise J., editor. Handbook of Mathematical Logic, North-Holland Pub. Co., Amsterdam, 1977."},{"volume-title":"Handbook of Modal Logic, 3, (Studies in Logic and Practical Reasoning)","year":"2006","key":"1_CR2","unstructured":"Blackburn P., van Benthem J., and Wolter F., editors. Handbook of Modal Logic, 3, (Studies in Logic and Practical Reasoning), vol. 3. Elsevier, Amsterdam, 2006."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1515\/crll.1870.72.130","volume":"72","author":"G. Cantor","year":"1870","unstructured":"Cantor G. \u00dcber einen die trigonometrischen Reihen betreffenden Lehrsatz, Journal f.reine und angew. Math., 72: 130\u2013138, 1870.","journal-title":"Journal f.reine und angew. Math."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01446327","volume":"5","author":"G. Cantor","year":"1872","unstructured":"Cantor G. \u00dcber die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen, Math. Annalen, 5: 123\u2013132, 1872.","journal-title":"Math. Annalen"},{"key":"1_CR5","volume-title":"Model Theory","author":"C. C. Chang","year":"1973","unstructured":"Chang C. C., and Keisler H. J. Model Theory, 3rd ed., North-Holland Pub. Co., Amsterdam 1973, 1990.","edition":"3"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","volume":"50","author":"P. J. Cohen","year":"1963","unstructured":"Cohen P. J. The independence of the continuum hypothesis, Proc. Nat. Acad. Sci. USA, 50: 1143\u20131148, 1963.","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1073\/pnas.51.1.105","volume":"51","author":"P. J. Cohen","year":"1964","unstructured":"Cohen P. J. The independence of the continuum hypothesis, II, Proc. Nat. Acad. Sci. USA, 51: 105\u2013110, 1964.","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"1_CR8","volume-title":"A New Introduction to Modal Logic","author":"M. J. Cresswell","year":"1996","unstructured":"Cresswell M. J., and Hughes, G. E. A New Introduction to Modal Logic, Taylor & Francis Inc., London, 1996."},{"key":"1_CR9","unstructured":"Crossley J. N. What is the difference between proofs and programs? Lecture at the First International Conference on Logic and and its application to other disciplines, IIT Bombay, 2005, submitted for publication."},{"key":"1_CR10","volume-title":"What is Mathematical Logic?","author":"J. N. Crossley","year":"1972","unstructured":"Crossley J. N., Brickhill C., Ash(\u2020) C. J., Stillwell J. C., and Williams N. H. What is Mathematical Logic? Oxford University Press, New York, NY, 1972, Latest edition, Dover, 1990."},{"key":"1_CR11","volume-title":"Engines of Logic: Mathematicians and the Origin of the Computer","author":"M. Davis","year":"2001","unstructured":"Davis M. Engines of Logic: Mathematicians and the Origin of the Computer, W.W. Norton, New York, NY, 2001."},{"key":"1_CR12","volume-title":"Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science","author":"M. D. Davis","year":"1994","unstructured":"Davis M. D., Sigal R., and Weyuker E. J. Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science, Academic Press, Harcourt, Brace, Boston, MA, 2nd edition, 1994.","edition":"2"},{"key":"1_CR13","unstructured":"Dedekind R. The nature and meaning of numbers. In Essays on Theory of Numbers, Dover, New York, NY, 1963. Originally published in 1901. Translation of Was sind und was sollen die Zahlen?"},{"key":"1_CR14","doi-asserted-by":"crossref","DOI":"10.1515\/9781400881635","volume-title":"The Consistency of the Continuum Hypothesis","author":"K. G\u00f6del","year":"1940","unstructured":"G\u00f6del K. The Consistency of the Continuum Hypothesis, Princeton University Press, Princeton, NJ, 1940."},{"volume-title":"From Frege to G\u00f6del","year":"1967","key":"1_CR15","unstructured":"van Heijenoort J., editor. From Frege to G\u00f6del, Harvard University Press, Cambridge, MA, 1967."},{"key":"1_CR16","first-page":"479","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism","author":"W. Howard","year":"1969","unstructured":"Howard W. The formulae-as-types notion of construction. In J. Roger Hindley and J. Seldin, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pages 479\u2013490. Academic Press, New York, NY, 1969."},{"key":"1_CR17","first-page":"95","volume-title":"Lectures on Modern Mathematics","author":"G. Kreisel","year":"1965","unstructured":"Kreisel G. Mathematical logic. In T. L. Saaty, editor, Lectures on Modern Mathematics, vol. 3, pages 95\u2013195. Wiley, New York, NY, 1965."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke S. A completeness theorem in modal logic, J. Symb. Logic, 24: 1\u201314, 1959.","journal-title":"J. Symb. Logic"},{"key":"1_CR19","volume-title":"Formal Systems and Recurive Functions","author":"S. Kripke","year":"1965","unstructured":"Kripke S. Semantical analysis of intuitionistic logic I. In J. N. Crossley and M. A. E. Dummett, editors, Formal Systems and Recurive Functions. North-Holland, Amsterdam, 1965."},{"key":"1_CR20","volume-title":"Beginning Logic","author":"E. J. Lemmon","year":"1971","unstructured":"Lemmon E. J. Beginning Logic, Nelson, London, 1971."},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"143","DOI":"10.2140\/pjm.1959.9.143","volume":"9","author":"R. C. Lyndon","year":"1959","unstructured":"Lyndon R. C. Properties preserved under homomorphism, Pacific J. Math., 9: 143\u2013154, 1959.","journal-title":"Pacific J. Math."},{"key":"1_CR22","unstructured":"Mendelson E. Introduction to Mathematical Logic, 4th ed., Chapman & Hall, 1997."},{"key":"1_CR23","volume-title":"Non-Standard Analysis","author":"A. Robinson","year":"1966","unstructured":"Robinson A. Non-Standard Analysis, North-Holland Pub. Co., Amsterdam, 1966."},{"key":"1_CR24","volume-title":"Introduction to Mathematical Philosophy","author":"B. A. W. Russell","year":"1970","unstructured":"Russell B. A. W. Introduction to Mathematical Philosophy, G. Allen and Unwin, London, 1970. First published in 1919, thirteenth impression, 1970."},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/321160.321170","volume":"10","author":"J. C. Shepherdson","year":"1963","unstructured":"Shepherdson J. C., and Sturgis H. E. Computability of recursive functions, J. Assoc. Comput. Mach., 10: 217\u2013255, 1963.","journal-title":"J. Assoc. Comput. Mach."},{"volume-title":"The Collected Papers of Gerhard Gentzen","year":"1969","key":"1_CR26","unstructured":"Szabo M. E., editor. The Collected Papers of Gerhard Gentzen, North-Holland Pub. Co., Amsterdam, 1969."},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"153","DOI":"10.2307\/2268280","volume":"2","author":"A. M. Turing","year":"1937","unstructured":"Turing A. M. Computability and lambda-definability, J. Symb. Logic, 2:153\u2013163, 1937.","journal-title":"J. Symb. Logic"}],"container-title":["Proof, Computation and Agency"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-0080-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,17]],"date-time":"2020-06-17T16:27:55Z","timestamp":1592411275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-007-0080-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9789400700796","9789400700802"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-0080-2_1","relation":{},"subject":[],"published":{"date-parts":[[2011]]}}}