SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
A Mathematical Introduction to Logic
计算机科学
程序设计语言
作者
H. B. Enderton
出处
期刊：Elsevier eBooks
[Elsevier]
日期：2001-01-01
被引量：2459
标识
DOI：10.1016/c2009-0-22107-6
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
2024年影响因子查询已上线
(2024-6-20)
更新
大幅提高文件上传限制，最高150M
(2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
minuxSCI
完成签到，获得积分
10
3秒前
杪夏二八
完成签到
，获得积分
10
5秒前
徐凤年aaa
完成签到，获得积分
10
7秒前
Wen
完成签到
，获得积分
10
7秒前
大大蕾
完成签到
，获得积分
0
10秒前
科研通AI2S
上传了
应助文件
12秒前
成就的孤晴
完成签到
，获得积分
10
14秒前
舒服的幼荷
完成签到，获得积分
10
18秒前
liuliu
完成签到
，获得积分
10
25秒前
btcat
完成签到，获得积分
10
26秒前
徐凤年aaa
发布了新的
文献求助
10
27秒前
liguanyu1078
完成签到，获得积分
10
28秒前
Xie
完成签到
，获得积分
10
31秒前
路过
完成签到
，获得积分
10
33秒前
萧水白
的
应助
被
科研通管家
采纳，获得
10
34秒前
田様
上传了
应助文件
39秒前
瓦罐
完成签到
，获得积分
10
41秒前
chenman9397
完成签到
，获得积分
10
44秒前
blUe
发布了新的
文献求助
10
45秒前
粥粥
完成签到
，获得积分
10
45秒前
王半书
完成签到
，获得积分
10
52秒前
飞燕
完成签到
，获得积分
10
55秒前
科研通AI2S
上传了
应助文件
1分钟前
默然的歌
完成签到
，获得积分
10
1分钟前
青桔柠檬
完成签到
，获得积分
10
1分钟前
Never stall
完成签到
，获得积分
10
1分钟前
科研通AI2S
上传了
应助文件
1分钟前
在水一方
的
应助
被
最后一场雪
采纳，获得
10
1分钟前
李东东
完成签到
，获得积分
10
2分钟前
听闻韬声依旧
完成签到
，获得积分
10
2分钟前
小白白
完成签到，获得积分
10
2分钟前
航行天下
完成签到
，获得积分
10
2分钟前
咯咯咯
完成签到
，获得积分
10
2分钟前
没用的三轮
完成签到，获得积分
10
2分钟前
young
完成签到
，获得积分
10
2分钟前
萧水白
的
应助
被
科研通管家
采纳，获得
10
2分钟前
莫即
完成签到
，获得积分
10
2分钟前
优秀的尔风
完成签到，获得积分
10
2分钟前
superspace
完成签到
，获得积分
10
2分钟前
blUe
发布了新的
文献求助
20
2分钟前
高分求助中
Licensing Deals in Pharmaceuticals 2019-2024
3000
Effect of reactor temperature on FCC yield
2000
Very-high-order BVD Schemes Using β-variable THINC Method
1020
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger
800
Mission to Mao: Us Intelligence and the Chinese Communists in World War II
600
MATLAB在传热学例题中的应用
500
Geochemistry, 2nd Edition 地球化学经典教科书第二版，不要epub版本
431
热门求助领域
（近24小时）
化学
医学
生物
材料科学
工程类
有机化学
生物化学
物理
内科学
纳米技术
计算机科学
化学工程
复合材料
基因
遗传学
催化作用
物理化学
免疫学
量子力学
细胞生物学
热门帖子
关注
科研通微信公众号，转发送积分
3303307
求助须知：如何正确求助？哪些是违规求助？
2937611
关于积分的说明
8482697
捐赠科研通
2611556
什么是DOI，文献DOI怎么找？
1426036
科研通“疑难数据库（出版商）”最低求助积分说明
662524
邀请新用户注册赠送积分活动
647023
今日热心研友
杳鸢
34
760
爱静静
30
300
Billy
20
360
从容芮
10
390
嗯哼
6
330
tuanheqi
5
200
sissiarno
200
07
7
110
嘉心糖
12
50
asd
130
YifanWang
12
jyy
6
60
0905
7
50
ZeKaWa
110
二十九画生
100
fqx379
100
深情安青
9
万能图书馆
4
50
SciGPT
5
40
xy
5
40
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
杳鸢
爱静静
Billy
从容芮
嗯哼
tuanheqi
sissiarno
07
嘉心糖
asd
YifanWang
jyy
0905
ZeKaWa
二十九画生
fqx379
深情安青
万能图书馆
SciGPT
xy
皖公网安备34019202002308
