The Interpretability Logic of Peano Arithmetic
- 期刊名称The Journal of Symbolic Logic
- 作者Alessandro Berarducci
- 卷第55卷
- 期第3期
- 印刷ISSN0022-4812
- 文件大小626.74KB
- 发表时间1990-09
- DOI10.2307/2274474
- 页码1059-1089
同作者推荐
Transmission Electron Microscopy ||Williams, David B.; Carter, C. Barry · 2009
Transmission Electron Microscopy || Kikuchi DiffractionWilliams, David B.; Carter, C. Barry · 2009
Transmission Electron Microscopy || Elastic ScatteringWilliams, David B.; Carter, C. Barry · 2009
Transmission Electron Microscopy || Electron SourcesWilliams, David B.; Carter, C. Barry · 2009
Transmission Electron Microscopy || The InstrumentWilliams, David B.; Carter, C. Barry · 2009
Transmission Electron Microscopy || Specimen PreparationWilliams, David B.; Carter, C. Barry · 2009
Transmission Electron Microscopy || Diffracted BeamsWilliams, David B.; Carter, C. Barry · 2009
Transmission Electron Microscopy || Bloch WavesWilliams, David B.; Carter, C. Barry · 2009