 | | | | | |
| Bild | | | | Bestellen |
|
|
96% |
|
Informatik und Schule 1991 (1 Angebot) Hauptvorträge.- Elektronische Kurse -- Kritische Bilanz und Konsequenzen für die Werkzeuggestaltung.- Informationstechnik in der Lebenswelt.- Fachdidaktische Fragen der Schulinformatik und (un)mögl... |
Springer Verlag 9783540546191 |
€ 51,39*
pro Stück |
|
96% |
|
Cambridge Summer School in Mathematical Logic (1 Angebot) Lectures on intuitionism.- Realizability: A retrospective survey.- Some applications of Kleene's methods for intuitionistic systems.- Notes on intuitionistic second order arithmetic.- Some properti... |
Springer Verlag 9783540055693 |
€ 49,95*
pro Stück |
|
96% |
|
ISILC - Logic Conference (1 Angebot) An observation on the product of Silver's forcing.- Recursively unsolvable algorithmic problems and related questions reexamined.- Lectures on large cardinal axioms.- Indescribability properties an... |
Springer Verlag 9783540075349 |
€ 49,95*
pro Stück |
|
96% |
|
First Order Categorical Logic (1 Angebot) Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometr... |
Springer Verlag 9783540084396 |
€ 49,99*
pro Stück |
|
96% |
|
|
Springer Verlag 9783662459782 |
€ 21,49*
pro Stück |
|
96% |
|
Logik und Algebra (1 Angebot) Dieses Buch entstand aus der Vorlesung "Logik und Algebra" an der Dualen Hochschule Baden-Württemberg, Karlsruhe im Studiengang Wirtschaftsinformatik. Der Autor ist dort seit 2001 als nebenberuflic... |
|
€ 18,64*
pro Stück |
|
96% |
|
Neue Grundlagen der Logik, Arithmetik und Mengenlehre (1 Angebot) Frontmatter -- Vorwort -- Inhalt -- I. Die ersten Tatsachen -- II. Die Erweiterung des Dingbegriffes I. (Die Kollektivbegriffe oder Mengen.) -- III. Die Erweiterung des Dingbegriffes II. (Bild und ... |
Verlag Walter de Gruyter 9783112359631 |
€ 102,76*
pro Stück |
|
96% |
|
Logic Colloquium (1 Angebot) Combinatorial functors.- Equality between functionals.- The use of abstract language in elementary metamathematics: Some pedagogic examples.- Weak monadic second order theory of succesor is not ele... |
Springer Verlag 9783540071556 |
€ 44,99*
pro Stück |
|
96% |
|
Introduction to Mathematical Logic (1 Angebot) This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically ... |
Springer Verlag 9783540058199 |
€ 49,99*
pro Stück |
|
96% |
|
The Syntax and Semantics of Infinitary Languages (1 Angebot) Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible or... |
Springer Verlag 9783540042426 |
€ 44,99*
pro Stück |
|
96% |
|
Mathematical Logic and Applications (1 Angebot) These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the... |
Springer Verlag 9783540515272 |
€ 44,99*
pro Stück |
|
96% |
|
Logic Year 1979-80 (1 Angebot) Definability and the hierarchy of stable theories.- QE rings in characteristic p.- Hierarchies of sets and degrees below 0?.- The plus-cupping theorem for the recursively enumerable degrees.- Natur... |
Springer Verlag 9783540107088 |
€ 39,95*
pro Stück |
|
96% |
|
|
Springer Verlag 9783540139010 |
€ 44,95*
pro Stück |
|
96% |
|
Conference in Mathematical Logic - London '70 (1 Angebot) Inductive definitions and analogues of large cardinals.- Compact injectives and Non-Standard Analysis.- Non-axiomatizability results in infinitary languages for higher-order structures.- ? 1 1 mode... |
Springer Verlag 9783540057444 |
€ 39,95*
pro Stück |
|
96% |
|
Logic Symposia, Hakone, 1979, 1980 (1 Angebot) Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipito... |
Springer Verlag 9783540111610 |
€ 39,95*
pro Stück |
|
|
