{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T07:24:49Z","timestamp":1649143489471},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1991,6,1]],"date-time":"1991-06-01T00:00:00Z","timestamp":675734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1991,6]]},"DOI":"10.1007\/bf00370184","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T18:49:54Z","timestamp":1099421394000},"page":"225-239","source":"Crossref","is-referenced-by-count":0,"title":["Logical feedback"],"prefix":"10.1007","volume":"50","author":[{"given":"David","family":"Booth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Non-Well-Founded Sets","author":"P. Aczel","year":"1988","unstructured":"P.Aczel, Non-Well-Founded Sets, Center for the Study of Lang. and Information, Palo Alto, 1988."},{"key":"CR2","volume-title":"The Situation in Logic-IV: On the Model Theory of Common Knowledge","author":"J. Barwise","year":"1988","unstructured":"J.Barwise, The Situation in Logic-IV: On the Model Theory of Common Knowledge, Center for the Study of Lang. an Information, Palo Alto, 1988."},{"key":"CR3","volume-title":"The Liar: An Essay on Truth and Circularity","author":"J. Barwise","year":"1987","unstructured":"J.Barwise and J.Etchemendy: The Liar: An Essay on Truth and Circularity, Oxford Univ. Press, New York, 1987."},{"key":"CR4","unstructured":"D.Booth, Hereditarily Finite Finsler Sets, J1. Sym. Logic, to appear."},{"key":"CR5","volume-title":"Logic Design of Digital Systems","author":"D. Dietmeyer","year":"1971","unstructured":"D.Dietmeyer, Logic Design of Digital Systems, Allyn and Bacon, Boston, 1971."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"B.Elspas, The Theory of Autonomous Linear Sequential Networks, I.R.E. Trans. on Circuit Theory CT-6, (1959), pp. 45?60.","DOI":"10.1109\/TCT.1959.1086506"},{"key":"CR7","volume-title":"Aufsatze zur Mengentehre","author":"P. Finsler","year":"1975","unstructured":"P.Finsler and G.Unger (ed.), Aufsatze zur Mengentehre, Wissenschaftliche Buchgesellschaft, Darmstadt, 1975."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/BF01283833","volume":"25","author":"P. Finsler","year":"1926","unstructured":"P.Finsler, \ufffdber die Grundlegung der Mengenlehre I, Math. Zeitschrift 25 (1926), pp. 172?218.","journal-title":"Math. Zeitschrift"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0016-0032(54)90574-8","volume":"257","author":"D.A. Huffman","year":"1954","unstructured":"D.A.Huffman, The Synthesis of Sequential Switching Circuits, J1. Franklin Inst., 257, (1954). pp. 161?303.","journal-title":"J1. Franklin Inst."},{"key":"CR10","first-page":"37","volume":"19","author":"D. Mirimanoff","year":"1917","unstructured":"D.Mirimanoff, Les Antinomies de Russell et de Burali-Forti et le probleme foundemental de la theorie des ensembles, L'enseignment Math., 19 (1917), pp. 37?52.","journal-title":"L'enseignment Math."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1090\/S0002-9947-1958-0097285-0","volume":"88","author":"J.P. Roth","year":"1958","unstructured":"J.P.Roth, Algebraic Topological Methods for the Synthesis of Switching Systems, Trans. A.M.S. 88, (1958), pp. 301?326.","journal-title":"Trans. A.M.S."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370184.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370184\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:44:03Z","timestamp":1554759843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["BF00370184"],"URL":"https:\/\/doi.org\/10.1007\/bf00370184","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}