Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmeticстатья Исследовательская статья

Статья опубликована в журнале из списка Web of Science и/или Scopus