دانلود کتاب ⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
by Prof. Justus Diller
|
عنوان فارسی: ⊨ISILC اثبات نظریه Symposion : به کورت شات اختصاصی به مناسبت مجموعه مقالات تاریخ تولد 65 او از موسسه تابستانی بین المللی و منطق ردهها ، کیل 1974 |