Reducibility of formulae of weak second order arithmetic to pseudo-canonical forms期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Reducibility of formulae of weak second order arithmetic to pseudo-canonical forms

Authors:	Reinhold Kołodziej

Affiliation:	(1) Institute of Mathematics and Theoretical Physics, Technical University, Wrocaw

Abstract:

Keywords:
本文献已被 SpringerLink 等数据库收录！