Intuitionistic analysis and G\"odel's interpretation
1963; Mathematical Society of Japan; Volume: 15; Issue: 2 Linguagem: Inglês
10.2969/jmsj/01520101
ISSN1881-1167
Autores Tópico(s)Intelligent Tutoring Systems and Adaptive Learning
Referência(s)