?-Bibliography of Mathematical Logic, Heinz-Dieter Ebbinghaus; Gert H. M?ller; Wolfgang
Автор: Wolfgang Lenski; Gert H. M?ller; Peter G. Hinman Название: ?-Bibliography of Mathematical Logic ISBN: 3662090635 ISBN-13(EAN): 9783662090633 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Gert H. M ller The growth of the number of publications in almost all scientific areas, - as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica- tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview ofthe existing literature, partic- ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for More specifically, if someone vaguely knows that something vaguely connected with his interests exists some- where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg II. Non-c1assical Logics W. Rautenberg IH. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.
Автор: Wolfgang Rautenberg; Gert H. M?ller; Wolfgang Lens Название: ?-Bibliography of Mathematical Logic ISBN: 3662090570 ISBN-13(EAN): 9783662090572 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In addition, given the rapidly growing sophistica- tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic- ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for!
Автор: Wolfgang Rautenberg; Gert H. M?ller; Wolfgang Lens Название: ?-Bibliography of Mathematical Logic ISBN: 3662222566 ISBN-13(EAN): 9783662222560 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In addition, given the rapidly growing sophistica- tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic- ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for!
Автор: Otto Bird; J.M. Bochenski Название: A Precis of Mathematical Logic ISBN: 9048183294 ISBN-13(EAN): 9789048183296 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The work of which this is an English translation appeared originally in French as Precis de logique mathematique.
Автор: Petio P. Petkov Название: Mathematical Logic ISBN: 1461278902 ISBN-13(EAN): 9781461278900 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Dimiter G. Skordev Название: Mathematical Logic and Its Applications ISBN: 1461282349 ISBN-13(EAN): 9781461282341 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Olgierd Wojtasiewicz; Andrzej Grzegorczyk; Waclaw Название: An Outline of Mathematical Logic ISBN: 9401021147 ISBN-13(EAN): 9789401021142 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recent years have seen the appearance of many English-language hand- books of logic and numerous monographs on topical discoveries in the foundations of mathematics.
Описание: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.
Автор: Elliot Mendelsohn Название: Introduction to Mathematical Logic ISBN: 1461572908 ISBN-13(EAN): 9781461572909 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recursion theory is gone into a little more deeply, including the s-m-n theorem, the recursion theorem, and Rice`s Theorem. (3) In Chapter 2, Quantification Theory, Henkin`s proof of the completeness theorem has been postponed until the reader has gained more experience in proof techniques.
Автор: A. Lightstone Название: Mathematical Logic ISBN: 1461587522 ISBN-13(EAN): 9781461587521 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Classically, the predicates and variables of the predicate calculus are kept distinct, inasmuch as no variable is also a predicate; moreover, each predicate is assigned an order, a unique natural number that indicates the length of each tuple to which the predicate can be prefixed.
Автор: H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas Название: Mathematical Logic ISBN: 0387942580 ISBN-13(EAN): 9780387942582 Издательство: Springer Рейтинг: Цена: 8378.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.
Автор: Walicki Michal Название: Introduction to Mathematical Logic ISBN: 981471996X ISBN-13(EAN): 9789814719964 Издательство: World Scientific Publishing Рейтинг: Цена: 6336.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
