1. Theories for admissible sets :
پدیدآورنده: Gerhard Jäger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Admissible sets,Definability theory (Mathematical logic),Proof theory

2. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده: Jager, Gerhard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986

