• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Mathematics - Logic

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2946350]
• Literatura piękna
 [1816154]

  więcej...
• Turystyka
 [70666]
• Informatyka
 [151172]
• Komiksy
 [35576]
• Encyklopedie
 [23172]
• Dziecięca
 [611458]
• Hobby
 [135995]
• AudioBooki
 [1726]
• Literatura faktu
 [225763]
• Muzyka CD
 [378]
• Słowniki
 [2917]
• Inne
 [444280]
• Kalendarze
 [1179]
• Podręczniki
 [166508]
• Poradniki
 [469467]
• Religia
 [507199]
• Czasopisma
 [496]
• Sport
 [61352]
• Sztuka
 [242330]
• CD, DVD, Video
 [3348]
• Technologie
 [219391]
• Zdrowie
 [98638]
• Książkowe Klimaty
 [124]
• Zabawki
 [2382]
• Puzzle, gry
 [3525]
• Literatura w języku ukraińskim
 [259]
• Art. papiernicze i szkolne
 [7107]
Kategorie szczegółowe BISAC

Kategoria BISAC: Mathematics >> Logic

ilość książek w kategorii: 5196

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


 Witness Theory: Notes on λ-calculus and Logic Adrian Rezuş 9781848903265 College Publications
Witness Theory: Notes on λ-calculus and Logic

ISBN: 9781848903265 / Angielski / Miękka / 390 str.

ISBN: 9781848903265/Angielski/Miękka/390 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Adrian Rezuş
cena: 99,27

 Reason to Dissent: Proceedings of the 3rd European Conference on Argumentation, Volume II Catarina Dutilh Novaes, Henrike Jansen, Jan Albert Van Laar 9781848903326 College Publications
Reason to Dissent: Proceedings of the 3rd European Conference on Argumentation, Volume II

ISBN: 9781848903326 / Angielski / Miękka / 486 str.

ISBN: 9781848903326/Angielski/Miękka/486 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Catarina Dutilh Novaes;Henrike Jansen;Jan Albert Van Laar
cena: 99,27

 Reason to Dissent: Proceedings of the 3rd European Conference on Argumentation, Volume III Novaes, Catarina Dutilh 9781848903333 College Publications
Reason to Dissent: Proceedings of the 3rd European Conference on Argumentation, Volume III

ISBN: 9781848903333 / Angielski / Miękka / 504 str.

ISBN: 9781848903333/Angielski/Miękka/504 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Catarina Dutilh Novaes; Henrike Jansen; Jan Albert Van Laar
cena: 99,27

 Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic Müller, Gert H. 9783540049098 Springer
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

ISBN: 9783540049098 / Angielski / Miękka / 134 str.

ISBN: 9783540049098/Angielski/Miękka/134 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Dirk Siefkes; Gert H. Mller
cena: 100,44

 The Axiom of Constructibility: A Guide for the Mathematician Devlin, K. J. 9783540085201 Springer
The Axiom of Constructibility: A Guide for the Mathematician

ISBN: 9783540085201 / Angielski / Miękka / 98 str.

ISBN: 9783540085201/Angielski/Miękka/98 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
K. J. Devlin
cena: 100,44

 Topological Model Theory J. Flum M. Ziegler Jorg Flum 9783540097327 Springer
Topological Model Theory

ISBN: 9783540097327 / Angielski / Miękka / 154 str.

ISBN: 9783540097327/Angielski/Miękka/154 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
J. Flum; M. Ziegler; Jorg Flum
cena: 100,44

 Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979 Jensen, R. B. 9783540108498 Springer
Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

ISBN: 9783540108498 / Angielski / Miękka / 180 str.

ISBN: 9783540108498/Angielski/Miękka/180 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
R. B. Jensen; A. Prestel
cena: 100,44

 Recursion on the Countable Functionals D. Normann 9783540100195 Springer
Recursion on the Countable Functionals

ISBN: 9783540100195 / Angielski / Miękka / 198 str.

ISBN: 9783540100195/Angielski/Miękka/198 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
D. Normann
cena: 100,44

 The Enumerative Theory of Conics After Halphen Casas-Alvero, Eduardo 9783540164951 Springer
The Enumerative Theory of Conics After Halphen

ISBN: 9783540164951 / Angielski / Miękka / 128 str.

ISBN: 9783540164951/Angielski/Miękka/128 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Eduardo Casas-Alvero; Sebastian Xambo-Descamps
cena: 100,44

 Injective Choice Functions Michael Holz Klaus-Peter Podewski Karsten Steffens 9783540172215 Springer
Injective Choice Functions

ISBN: 9783540172215 / Angielski / Miękka / 184 str.

ISBN: 9783540172215/Angielski/Miękka/184 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Michael Holz; Klaus-Peter Podewski; Karsten Steffens
cena: 100,44

 Nonstandard Asymptotic Analysis Imme Van Den Berg 9783540177678 Springer
Nonstandard Asymptotic Analysis

ISBN: 9783540177678 / Angielski / Miękka / 192 str.

ISBN: 9783540177678/Angielski/Miękka/192 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Imme Van Den Berg
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 Homer, Steven 9783540527343 Springer
Logic and Computer Science

ISBN: 9783540527343 / Angielski / Miękka / 170 str.

ISBN: 9783540527343/Angielski/Miękka/170 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Steven Homer; Anil Nerode; Richard A. Platek
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 Bekkali, Mohamed 9783540541219 Springer
Topics in Set Theory: Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-Functions

ISBN: 9783540541219 / Angielski / Miękka / 128 str.

ISBN: 9783540541219/Angielski/Miękka/128 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Mohamed Bekkali
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 Jech, Thomas J. 9783540055648 Springer
Lectures in Set Theory: With Particular Emphasis on the Method of Forcing

ISBN: 9783540055648 / Angielski / Miękka / 140 str.

ISBN: 9783540055648/Angielski/Miękka/140 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Thomas J. Jech
cena: 100,44

 Lectures on Formally Real Fields A. Prestel 9783540138853 Springer
Lectures on Formally Real Fields

ISBN: 9783540138853 / Angielski / Miękka / 128 str.

ISBN: 9783540138853/Angielski/Miękka/128 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
A. Prestel

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 Peter Jipsen Henry Rose 9783540563143 Springer
Varieties of Lattices

ISBN: 9783540563143 / Angielski / Miękka / 166 str.

ISBN: 9783540563143/Angielski/Miękka/166 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Peter Jipsen; Henry Rose
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 Prestel, A. 9783540128908 Springer
Formally P-Adic Fields

ISBN: 9783540128908 / Angielski / Miękka / 168 str.

ISBN: 9783540128908/Angielski/Miękka/168 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
A. Prestel; P. Roquette
cena: 100,44

 Fractals and Hyperspaces Keith R. Wicks 9783540549659 Springer
Fractals and Hyperspaces

ISBN: 9783540549659 / Angielski / Miękka / 172 str.

ISBN: 9783540549659/Angielski/Miękka/172 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Keith R. Wicks
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 Haim Shapira 9781786787743 Watkins Media Limited
Probably the Best Book on Statistics Ever Written: How to Beat the Odds and Make Better Decisions

ISBN: 9781786787743 / Angielski

ISBN: 9781786787743/Angielski

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Haim Shapira
cena: 100,64

 365 Addition Worksheets with Three 2-Digit Addends: Math Practice Workbook Kapoo Stem 9781511460552 Createspace
365 Addition Worksheets with Three 2-Digit Addends: Math Practice Workbook

ISBN: 9781511460552 / Angielski / Miękka / 368 str.

ISBN: 9781511460552/Angielski/Miękka/368 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kapoo Stem
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

Pierwsza Podprzednia  31  32  33  Następna Ostatnia

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2026 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia