A Precis of Mathematical Logic, Otto Bird; J.M. Bochenski
Автор: Otto Bird; J.M. Bochenski Название: A Precis of Mathematical Logic ISBN: 9027700737 ISBN-13(EAN): 9789027700735 Издательство: Springer Рейтинг: Цена: 18294.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The work of which this is an English translation appeared originally in French as Precis de logique mathematique.
Автор: Jaakko Hintikka; I. Niiniluoto; Esa. Saarinen Название: Essays on Mathematical and Philosophical Logic ISBN: 9400998279 ISBN-13(EAN): 9789400998278 Издательство: Springer Рейтинг: Цена: 30736.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976.
Автор: Petio P. Petkov Название: Mathematical Logic ISBN: 1461278902 ISBN-13(EAN): 9781461278900 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: David Louvish; R. Fra?ss? Название: Course of Mathematical Logic ISBN: 9027705100 ISBN-13(EAN): 9789027705105 Издательство: Springer Рейтинг: Цена: 13415.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is addressed primarily to researchers specializing in mathemat- ical logic. It may also be of interest to students completing a Masters Degree in mathematics and desiring to embark on research in logic, as well as to teachers at universities and high schools, mathematicians in general, or philosophers wishing to gain a more rigorous conception of deductive reasoning. The material stems from lectures read from 1962 to 1968 at the Faculte des Sciences de Paris and since 1969 at the Universities of Provence and Paris-VI. The only prerequisites demanded of the reader are elementary combinatorial theory and set theory. We lay emphasis on the semantic aspect of logic rather than on syntax; in other words, we are concerned with the connection between formulas and the multirelations, or models, which satisfy them. In this context considerable importance attaches to the theory of relations, which yields a novel approach and algebraization of many concepts of logic. The present two-volume edition considerably widens the scope of the original French] one-volume edition (1967: Relation, Formule logique, Compacite, Completude). The new Volume 1 (1971: Relation et Formule logique) reproduces the old Chapters 1, 2, 3, 4, 5 and 8, redivided as follows: Word, formula (Chapter 1), Connection (Chapter 2), Relation, operator (Chapter 3), Free formula (Chapter 4), Logicalformula, denumer- able-model theorem (L6wenheim-Skolem) (Chapter 5), Completeness theorem (G6del-Herbrand) and Interpolation theorem (Craig-Lyndon) (Chapter 6), Interpretability of relations (Chapter 7).
Автор: Elliot Mendelsohn Название: Introduction to Mathematical Logic ISBN: 1461572908 ISBN-13(EAN): 9781461572909 Издательство: Springer Рейтинг: Цена: 6097.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.
Описание: 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.
Автор: Dimiter G. Skordev Название: Mathematical Logic and Its Applications ISBN: 1461282349 ISBN-13(EAN): 9781461282341 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: A. Lightstone Название: Mathematical Logic ISBN: 1461587522 ISBN-13(EAN): 9781461587521 Издательство: Springer Рейтинг: Цена: 13415.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.
Автор: Wolfgang Lenski; Gert H. M?ller; Peter G. Hinman Название: ?-Bibliography of Mathematical Logic ISBN: 3662090635 ISBN-13(EAN): 9783662090633 Издательство: Springer Рейтинг: Цена: 6097.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.
Автор: Heinz-Dieter Ebbinghaus; Gert H. M?ller; Wolfgang Название: ?-Bibliography of Mathematical Logic ISBN: 3662090600 ISBN-13(EAN): 9783662090602 Издательство: Springer Рейтинг: Цена: 6097.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 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 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 11. Non-classical Logics W. Rautenberg 111. 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.
Автор: Olgierd Wojtasiewicz; Andrzej Grzegorczyk; Waclaw Название: An Outline of Mathematical Logic ISBN: 9401021147 ISBN-13(EAN): 9789401021142 Издательство: Springer Рейтинг: Цена: 10610.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.
Описание: Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
