{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T06:30:47Z","timestamp":1780381847463,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662540688","type":"print"},{"value":"9783662540695","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,12,3]],"date-time":"2016-12-03T00:00:00Z","timestamp":1480723200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54069-5_4","type":"book-chapter","created":{"date-parts":[[2016,12,2]],"date-time":"2016-12-02T03:43:15Z","timestamp":1480650195000},"page":"27-47","source":"Crossref","is-referenced-by-count":5,"title":["Semantics and Proof Theory of the Epsilon Calculus"],"prefix":"10.1007","author":[{"given":"Richard","family":"Zach","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,12,3]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-24727-2_3","volume-title":"Foundations of Software Science and Computation Structures","author":"M Abadi","year":"2004","unstructured":"Abadi, M., Gonthier, G., Werner, B.: Choice in dynamic linking. In: Walukiewicz, I. (ed.) FoSSaCS 2004. LNCS, vol. 2987, pp. 12\u201326. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24727-2_3"},{"issue":"2\u20134","key":"4_CR2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01530924","volume":"3","author":"S Abiteboul","year":"1991","unstructured":"Abiteboul, S., Vianu, V.: Non-determinism in logic-based languages. Ann. Math. Artif. Intell. 3(2\u20134), 151\u2013186 (1991)","journal-title":"Ann. Math. Artif. Intell."},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1002\/malq.19570030104","volume":"3","author":"G Asser","year":"1957","unstructured":"Asser, G.: Theorie der logischen Auswahlfunktionen. Z. Math. Logik Grundlag. Math. 3, 30\u201368 (1957)","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"4_CR4","unstructured":"Avigad, J., Zach, R.: The epsilon calculus. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Summer 2016th edn. (2016). http:\/\/plato.stanford.edu\/entries\/epsilon-calculus\/"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01049178","volume":"22","author":"JL Bell","year":"1993","unstructured":"Bell, J.L.: Hilbert\u2019s epsilon-operator and classical logic. J. Philos. Logic 22, 1\u201318 (1993)","journal-title":"J. Philos. Logic"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"1264","DOI":"10.2307\/2586700","volume":"65","author":"A Blass","year":"2000","unstructured":"Blass, A., Gurevich, Y.: The logic of choice. J. Symbolic Logic 65, 1264\u20131310 (2000)","journal-title":"J. Symbolic Logic"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1002\/malq.19950410409","volume":"41","author":"D DeVidi","year":"1995","unstructured":"DeVidi, D.: Intuitionistic epsilon- and tau-calculi. Math. Logic Q. 41, 523\u2013546 (1995)","journal-title":"Math. Logic Q."},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/978-94-011-3947-2_13","volume-title":"Reference and Anaphoric Relations","author":"K Heusinger von","year":"2000","unstructured":"von Heusinger, K.: The reference of indefinites. In: von Heusinger, K., Egli, U. (eds.) Reference and Anaphoric Relations, pp. 247\u2013265. Kluwer, Dordrecht (2000)"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11168-004-0904-6","volume":"2","author":"K Heusinger von","year":"2004","unstructured":"von Heusinger, K.: Choice functions and the anaphoric semantics of definite NPs. Res. Lang. Comput. 2, 309\u2013329 (2004)","journal-title":"Res. Lang. Comput."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Hilbert, D.: Neubegr\u00fcndung der Mathematik: Erste Mitteilung. Abhandlungen aus dem Seminar der Hamburgischen Universit\u00e4t 1, 157\u201377 , series of talks given at the University of Hamburg, July 25\u201327, 1921. English in [14], pp. 198\u2013214 (1922)","DOI":"10.1007\/BF02940589"},{"key":"4_CR11","volume-title":"Grundlagen der Mathematik","author":"D Hilbert","year":"1939","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik. Springer, Berlin (1939)"},{"key":"4_CR12","unstructured":"Leisenring, A.: Mathematical Logic and Hilbert\u2019s $$\\epsilon $$ -symbol. MacDonald Technical and Scientific, London (1969)"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"323","DOI":"10.2969\/jmsj\/00740323","volume":"7","author":"S Maehara","year":"1955","unstructured":"Maehara, S.: The predicate calculus with $$\\epsilon $$ -symbol. J. Math. Soc. Japan 7, 323\u2013344 (1955)","journal-title":"J. Math. Soc. Japan"},{"key":"4_CR14","unstructured":"Mancosu, P. (ed.): From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press, New York (1998)"},{"key":"4_CR15","unstructured":"Meyer Viol, W.P.M.: Instantial Logic. An Investigation into Reasoning with Instances. ILLC Dissertation Series 1995\u201311. ILLC, Amsterdam (1995)"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/s00153-003-0170-6","volume":"42","author":"G Mints","year":"2003","unstructured":"Mints, G., Sarenac, D.: Completeness of indexed epsilon-calculus. Arch. Math. Logic 42, 617\u2013625 (2003)","journal-title":"Arch. Math. Logic"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/BF01091551","volume":"8","author":"G Mints","year":"1977","unstructured":"Mints, G.: Heyting predicate calculus with epsilon symbol. J. Soviet Math. 8, 317\u2013323 (1977)","journal-title":"J. Soviet Math."},{"issue":"1","key":"4_CR18","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s11225-006-6610-7","volume":"82","author":"G Moser","year":"2006","unstructured":"Moser, G., Zach, R.: The epsilon calculus and herbrand complexity. Stud. Logica. 82(1), 133\u2013155 (2006)","journal-title":"Stud. Logica."},{"issue":"4","key":"4_CR19","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.2307\/2695073","volume":"65","author":"M Otto","year":"2000","unstructured":"Otto, M.: Epsilon-logic is more expressive than first-order logic over finite structures. J. Symbolic Logic 65(4), 1749\u20131757 (2000)","journal-title":"J. Symbolic Logic"},{"key":"4_CR20","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1002\/malq.19770233606","volume":"23","author":"L Wessels","year":"1977","unstructured":"Wessels, L.: Cut elimination in a Gentzen-style $$\\varepsilon $$ -calculus without identity. Z. Math. Logik Grundlag. Math. 23, 527\u2013538 (1977)","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"4_CR21","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1002\/malq.19820282004","volume":"28","author":"M Yashahura","year":"1982","unstructured":"Yashahura, M.: Cut elimination in $$\\epsilon $$ -calculi. Z. Math. Logik Grundlag. Math. 28, 311\u2013316 (1982)","journal-title":"Z. Math. Logik Grundlag. Math."}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54069-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T01:53:32Z","timestamp":1568598812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-54069-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,3]]},"ISBN":["9783662540688","9783662540695"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54069-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,3]]}}}