Art
J-GLOBAL ID:201902104299835285   Reference number:19S2030508

Equivalence of the induction schema and the least number principle for open formulas

Author (2):
Material:
Volume: 33  Issue:Page: 149-162  Publication year: 1997 
JST Material Number: SCOPUS  ISSN: 0916-5746 
Country of issue: Japan (JPN)  Language: English (EN)

Return to Previous Page