发布求助
文献互助 智能选刊 最新文献

Studies in logic and the foundations of mathematics最新文献

筛选
英文 中文
Type systems : basic ideas and applications 类型系统:基本思想和应用
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)70206-4
Rp Rob Nederpelt
{"title":"Type systems : basic ideas and applications","authors":"Rp Rob Nederpelt","doi":"10.1016/S0049-237X(08)70206-4","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)70206-4","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"133 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130514760","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Research Strategy in Psychophysiology 心理生理学研究策略
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(09)70709-8
E. Sokolov
{"title":"Research Strategy in Psychophysiology","authors":"E. Sokolov","doi":"10.1016/S0049-237X(09)70709-8","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70709-8","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"45 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130552146","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Choice Functions on Sets and Classes 选择集合和类上的函数
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)70895-4
U. Felgner
{"title":"Choice Functions on Sets and Classes","authors":"U. Felgner","doi":"10.1016/S0049-237X(08)70895-4","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)70895-4","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126894932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Situation Schemata and Systems of Logic Related to Situation Semantics 情境图式与情境语义相关的逻辑系统
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)70458-0
J. Fenstad
{"title":"Situation Schemata and Systems of Logic Related to Situation Semantics","authors":"J. Fenstad","doi":"10.1016/S0049-237X(08)70458-0","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)70458-0","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129227136","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The Busy Beaver Method 忙碌的海狸法
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)71266-7
Robert P. Daley
{"title":"The Busy Beaver Method","authors":"Robert P. Daley","doi":"10.1016/S0049-237X(08)71266-7","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)71266-7","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130662574","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Natural Language Metaphysics 自然语言形而上学
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(09)70714-1
Emmon W. Bach
{"title":"Natural Language Metaphysics","authors":"Emmon W. Bach","doi":"10.1016/S0049-237X(09)70714-1","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70714-1","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130683135","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 122
Initial Segments of the Degrees of Unsolvability Part I: A Survey 不可解度的初始分段第一部分:综述
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)71931-1
C. Yates
{"title":"Initial Segments of the Degrees of Unsolvability Part I: A Survey","authors":"C. Yates","doi":"10.1016/S0049-237X(08)71931-1","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)71931-1","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121106462","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
The Framing of Decisions and the Evaluation of Prospects 决策框架和前景评估
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(09)70710-4
A. Tversky, D. Kahneman
{"title":"The Framing of Decisions and the Evaluation of Prospects","authors":"A. Tversky, D. Kahneman","doi":"10.1016/S0049-237X(09)70710-4","DOIUrl":"https://doi.org/10.1016/S0049-237X(09)70710-4","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121150015","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
A Proof-Theoretic Framework for Logic Programming 逻辑规划的证明理论框架
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(98)80024-4
Gerhard Jäger, R. Stärk
{"title":"A Proof-Theoretic Framework for Logic Programming","authors":"Gerhard Jäger, R. Stärk","doi":"10.1016/S0049-237X(98)80024-4","DOIUrl":"https://doi.org/10.1016/S0049-237X(98)80024-4","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"200 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116153274","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Un Jour de Juillet 1931, Dans Le Massif D'oisans … 1931年7月的一天，在瓦桑山脉……
Studies in logic and the foundations of mathematics Pub Date : 1900-01-01 DOI: 10.1016/S0049-237X(08)71873-1
A. Guinier
{"title":"Un Jour de Juillet 1931, Dans Le Massif D'oisans …","authors":"A. Guinier","doi":"10.1016/S0049-237X(08)71873-1","DOIUrl":"https://doi.org/10.1016/S0049-237X(08)71873-1","url":null,"abstract":"","PeriodicalId":383912,"journal":{"name":"Studies in logic and the foundations of mathematics","volume":"140 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116274786","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信