Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 13 (Search time: 0.014 seconds).
Item hits:
BibliographyContents
A Formal Theory of Symbolic Expressions(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
  Sato, Masahiko (1984-03)
  数理解析研究所講究録, 516: 22-39
file type icon 
Embedding Theorem for Lattices with Complementation(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
  Ono, Hiroakira (1984-03)
  数理解析研究所講究録, 516: 180-195
file type icon 
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 
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 
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 
Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
  Hirose, Ken, Takahashi, Makoto (1984-03)
  数理解析研究所講究録, 516: 111-122
file type icon 
A method of axiomatizing fragments of intuitionistic theories(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
  Uesu, Tadahiro (1984-03)
  数理解析研究所講究録, 516: 132-141
file type icon 
Pris-Harrington Theory and reflection Principles(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
  Kurata, Reijiro (1984-03)
  数理解析研究所講究録, 516: 123-131
file type icon 
Countable J$^S_a$-admissible ordinals(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
  SHINODA, Juichi (1984-03)
  数理解析研究所講究録, 516: 79-91
file type icon 
極大商環とブール拡大(数学基礎論)
  江田, 勝哉 (1984-03)
  数理解析研究所講究録, 516: 142-179
file type icon