منو
رکورد قبلیرکورد بعدی

" Proceedings of the Logic Colloquium : "


Document Type : BL
Record Number : 745986
Doc. No : b565935
Main Entry : G H Müller
Title & Author : Proceedings of the Logic Colloquium : : held in Aachen, July 18-23, 1983.\ G H Müller
Publication Statement : Berlin ; New York : Springer-Verlag, 1984
Series Statement : Lecture notes in mathematics (Springer-Verlag), 1103-1104.
Page. NO : (2 volumes) : illustrations
ISBN : 3540391150
: : 9783540391159
Contents : pt. 1. Models and sets / edited by G.H. Müller and M.M. Richter --; pt. 2. Computation and proof theory / edited by E. Börger ... et al.
Subject : Logic, Symbolic and mathematical -- Congresses.
Subject : Logique algébrique -- Congrès.
Subject : Modèles, Théorie des -- Congrès.
Added Entry : G H Müller
Parallel Title : Models and sets.; Computation and proof theory.
copyhttps://lib.clisel.com/site/catalogue/745986
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟