فرزانگی | Hilbert's program

درون‌شد هموندی

Philosophy Logic Mathematics Computing

Ontology Persian Translator Logic Lab Hall of Fame Library Dictionary About

On this page:

Languages:

PA	برنامه‌ی هیلبرت

View

239

Last Modified

Thu Jun 16, 2022

Author of page

Afshin Pouria

Hilbert's program

تاربرگ‌های پیموده‌شده در این نشست: completeness ⟩ Modal Logics between S4 and S5 ⟩ Proof theorists

Back to top FARZANEGI© | 2025