schutte

همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974

دانلود کتاب ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974 (به فارسی: همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974) نوشته شده توسط «J. Diller – G.H. Müller» اطلاعات کتاب همایش تئوری اثبات ISILC. تقدیم به کرت شوته به مناسبت تولد 65 سالگی او، کیل، 1974 موضوع اصلی: سخنرانی ها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: J. Diller – G.H. Müller زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1976 تعداد صفحه: 390 حجم کتاب: 3 مگابایت کد…