خط مشی دسترسیدرباره ماپشتیبانی آنلاین
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type:BL
Record Number:105607
Doc. No:b63156
Main Entry:Leeds Proof Theory Programme(1990 :, Leeds University)
Title & Author:Proof theory :a selection of papers from the Leeds Proof Theory Programme, 1990 /edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer.
Publication Statement:Cambridge ;New York :Cambridge University Press,1992.
Page. NO:x, 306 p. ;24 cm.
ISBN:052141413X (hardcover)
Bibliographies/Indexes:Includes bibliographical references.
Subject:Proof theory.
Dewey Classification:‭511.3‬
LC Classification:‭QA9.54‬‭.L44 1990‬
Added Entry:Aczel, Peter,1941-
Simmons, Harold.
Wainer, S. S.