约翰·克罗斯利:一生的知识分子

IF 0.6 4区数学 Q2 LOGIC

Logic Journal of the IGPL Pub Date : 2023-05-31 DOI:10.1093/jigpal/jzad001

Anil Nerode

{"title":"约翰·克罗斯利:一生的知识分子","authors":"Anil Nerode","doi":"10.1093/jigpal/jzad001","DOIUrl":null,"url":null,"abstract":"Journal Article John Crossley: A life intellectual Get access Anil Nerode Anil Nerode College of Arts and Sciences, Cornell University, Ithaca, New York, USA, an17@cornell.edu Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, jzad001, https://doi.org/10.1093/jigpal/jzad001 Published: 31 May 2023 Article history Received: 08 February 2019 Revision received: 03 October 2019 Accepted: 23 October 2019 Published: 31 May 2023","PeriodicalId":51114,"journal":{"name":"Logic Journal of the IGPL","volume":"12 1","pages":"0"},"PeriodicalIF":0.6000,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"John Crossley: A life intellectual\",\"authors\":\"Anil Nerode\",\"doi\":\"10.1093/jigpal/jzad001\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Journal Article John Crossley: A life intellectual Get access Anil Nerode Anil Nerode College of Arts and Sciences, Cornell University, Ithaca, New York, USA, an17@cornell.edu Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, jzad001, https://doi.org/10.1093/jigpal/jzad001 Published: 31 May 2023 Article history Received: 08 February 2019 Revision received: 03 October 2019 Accepted: 23 October 2019 Published: 31 May 2023\",\"PeriodicalId\":51114,\"journal\":{\"name\":\"Logic Journal of the IGPL\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-05-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logic Journal of the IGPL\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/jigpal/jzad001\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logic Journal of the IGPL","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/jigpal/jzad001","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

期刊文章约翰·克罗斯利:一个生活的知识分子访问Anil Nerode Anil Nerode艺术与科学学院，康奈尔大学，伊萨卡，美国纽约，an17@cornell.edu搜索作者的其他作品在:牛津学术谷歌学者逻辑IGPL杂志，jzad001, https://doi.org/10.1093/jigpal/jzad001发布:2023年5月31日文章历史收到:2019年2月8日修订收到:2019年10月03日接收:2019年10月23日发布:2023年5月31日

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

John Crossley: A life intellectual

Journal Article John Crossley: A life intellectual Get access Anil Nerode Anil Nerode College of Arts and Sciences, Cornell University, Ithaca, New York, USA, an17@cornell.edu Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, jzad001, https://doi.org/10.1093/jigpal/jzad001 Published: 31 May 2023 Article history Received: 08 February 2019 Revision received: 03 October 2019 Accepted: 23 October 2019 Published: 31 May 2023

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Logic Journal of the IGPL 数学-数学

CiteScore

2.60

自引率

10.00%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering. Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal.