On the Difficulty of Writing Out Formal Proofs in Arithmetic

Publication Information

Title

Japanese:
English:	On the Difficulty of Writing Out Formal Proofs in Arithmetic

Author

Japanese:	Ryo Kashima, Takeshi Yamaguchi.
English:	Ryo Kashima, Takeshi Yamaguchi.

Language

English

Journal/Book name

Japanese:
English:	Mathematical Logic Quarterly

Volume, Number, Page

Vol. 43 pp. 328-332

Published date

1997

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English: