書誌情報 | ファイル |
表紙・目次 (1984-03) 数理解析研究所講究録, 516
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Projection and elevation of ordinal diagrams(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) Yasugi, Mariko (1984-03) 数理解析研究所講究録, 516: 1-9
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Non-Standard Analysis Without Non-Standard Models(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) Kakuda, Yuzuru (1984-03) 数理解析研究所講究録, 516: 10-11
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Constructive mathematics and program synthesis(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) HAYASHI, Susumu (1984-03) 数理解析研究所講究録, 516: 12-21
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A Formal Theory of Symbolic Expressions(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) Sato, Masahiko (1984-03) 数理解析研究所講究録, 516: 22-39
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) MOTOHASHI, Nobuyoshi (1984-03) 数理解析研究所講究録, 516: 40-52
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Some Fine Hierarchies on Relativized Time-Bounded Complexity Classes(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) TANAKA, Hisao; IZUMI, Masa-aki; TAKAHASHI, Nobuyuki (1984-03) 数理解析研究所講究録, 516: 53-78
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Countable J$^S_a$-admissible ordinals(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) SHINODA, Juichi (1984-03) 数理解析研究所講究録, 516: 79-91
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A Subsystem of Classical Analysis proper to Takeuti's Reduction Method for $\Pi^1_1$-Analysis(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) ARAI, Toshiyasu (1984-03) 数理解析研究所講究録, 516: 92-110
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) Hirose, Ken; Takahashi, Makoto (1984-03) 数理解析研究所講究録, 516: 111-122
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Pris-Harrington Theory and reflection Principles(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) Kurata, Reijiro (1984-03) 数理解析研究所講究録, 516: 123-131
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A method of axiomatizing fragments of intuitionistic theories(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) Uesu, Tadahiro (1984-03) 数理解析研究所講究録, 516: 132-141
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
極大商環とブール拡大(数学基礎論) 江田, 勝哉 (1984-03) 数理解析研究所講究録, 516: 142-179
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Embedding Theorem for Lattices with Complementation(LOGIC AND THE FOUNDATIONS OF MATHEMATICS) Ono, Hiroakira (1984-03) 数理解析研究所講究録, 516: 180-195
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |