![]() |
Witness Theory: Notes on λ-calculus and Logic
ISBN: 9781848903265 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
99,27 |
![]() |
Reason to Dissent: Proceedings of the 3rd European Conference on Argumentation, Volume II
ISBN: 9781848903326 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
99,27 |
![]() |
Reason to Dissent: Proceedings of the 3rd European Conference on Argumentation, Volume III
ISBN: 9781848903333 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
99,27 |
![]() |
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
ISBN: 9783540049098 / Angielski / Miękka / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
The Axiom of Constructibility: A Guide for the Mathematician
ISBN: 9783540085201 / Angielski / Miękka / 98 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
Topological Model Theory
ISBN: 9783540097327 / Angielski / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
ISBN: 9783540108498 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
Recursion on the Countable Functionals
ISBN: 9783540100195 / Angielski / Miękka / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
The Enumerative Theory of Conics After Halphen
ISBN: 9783540164951 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
Injective Choice Functions
ISBN: 9783540172215 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
Nonstandard Asymptotic Analysis
ISBN: 9783540177678 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Considers the subject of asymptotics from a nonstandard view point. Noting that within nonstandard analysis, 'small', 'large', and 'domain of validity of asymptotic behaviour' have a precise meaning, this research monograph develops a nonstandard alternative to classical asymptotics.
Considers the subject of asymptotics from a nonstandard view point. Noting that within nonstandard analysis, 'small', 'large', and 'domain of validity...
|
cena:
100,44 |
![]() |
Logic and Computer Science
ISBN: 9783540527343 / Angielski / Miękka / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer...
|
cena:
100,44 |
![]() |
Topics in Set Theory: Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-Functions
ISBN: 9783540541219 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado. These notes of the course, taken by the author, give a novel and fast exposition of four chapters of Set Theory. The first two chapters are about the connection between large cardinals and Lebesque measure. The third is on forcing axioms such as Martin's axiom or the Proper Forcing Axiom. The fourth chapter looks at the method of minimal walks and p-functions and their applications. The book is addressed to researchers and graduate students interested in Set Theory, Set-Theoretic...
During the Fall Semester of 1987, Stevo Todorcevic gave a series of lectures at the University of Colorado. These notes of the course, taken by the au...
|
cena:
100,44 |
![]() |
Lectures in Set Theory: With Particular Emphasis on the Method of Forcing
ISBN: 9783540055648 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
Lectures on Formally Real Fields
ISBN: 9783540138853 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Absolute values and their completions - like the p-adic number fields- play an important role in number theory. Krull's generalization of absolute values to valuations made applications in other branches of mathematics, such as algebraic geometry, possible. In valuation theory, the notion of a completion has to be replaced by that of the so-called Henselization. In this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge aquired in a standard graduate course in algebra. The last chapter presents three applications of... Absolute values and their completions - like the p-adic number fields- play an important role in number theory. Krull's generalization of absolute ... |
cena:
100,44 |
![]() |
Varieties of Lattices
ISBN: 9783540563143 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of lattice varieties is a field that hasexperienced rapid growth in the last 30 years, but many ofthe interesting and deep results discovered in that periodhave so far only appeared in research papers. The aim ofthis monograph is to present the main results about modularand nonmodular varieties, equational bases and theamalgamation property in a uniform way. The first chaptercovers preliminaries that make the material accessible toanyone who has had an introductory course in universalalgebra. Each subsequent chapter begins with a shorthistorical introduction which sites the original...
The study of lattice varieties is a field that hasexperienced rapid growth in the last 30 years, but many ofthe interesting and deep results discovere...
|
cena:
100,44 |
![]() |
Formally P-Adic Fields
ISBN: 9783540128908 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,44 |
![]() |
Fractals and Hyperspaces
ISBN: 9783540549659 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed for all researchers with an interest in fractals, hyperspaces, fixed-point theory, tilings and nonstandard analysis, this text introduces the "view" as part of a framework for studying the structure of sets within a given space, leading to concepts of fractality and self-similarity.
Designed for all researchers with an interest in fractals, hyperspaces, fixed-point theory, tilings and nonstandard analysis, this text introduces the...
|
cena:
100,44 |
![]() |
Probably the Best Book on Statistics Ever Written: How to Beat the Odds and Make Better Decisions
ISBN: 9781786787743 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
100,64 |
![]() |
365 Addition Worksheets with Three 2-Digit Addends: Math Practice Workbook
ISBN: 9781511460552 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Math Addition Practice 365 Worksheets This book contains 365 addition worksheets for practice. These are vertical addition sums with three addends. The addends are of 2 digits each. These maths problems are provided to improve the mathematics skills by frequent practicing of the worksheets provided. There is nothing more effective than a pencil and paper for practicing some math skills. These math worksheets are ideal for teachers, parents, students, and home schoolers. Teachers and home schoolers use the maths worksheets to test and measure the child's mastery of basic math skills....
Daily Math Addition Practice 365 Worksheets This book contains 365 addition worksheets for practice. These are vertical addition sums with three adden...
|
cena:
101,12 |