wyszukanych pozycji: 47
![]() |
Der Reichs-Civilproceß
ISBN: 9783112381830 / Niemiecki / Twarda / 1884 / 478 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
550,90 |
![]() |
Der Reichs-Civilproceß
ISBN: 9783112379790 / Niemiecki / Twarda / 1897 / 884 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
1059,63 |
![]() |
Alice in Puzzle-Land: A Carrollian Tale for Children Under Eighty
ISBN: 9780486482002 / Angielski / Miękka / 2011 / 192 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) "A charming and challenging adventure." -- Wordplay, the Crossword Blog of The New York TimesAlice and her friends return for another romp through Wonderland and the Looking-Glass with these eighty-eight puzzles, paradoxes, and logic problems. Raymond M. Smullyan's characters speak and behave like the originals, and their puzzles abound in typical Carrollian word play, logic problems, and dark philosophical paradoxes. Isaac Asimov described this book as "amusing, entertaining, and surprisingly educational. And it might just send you back to reread Alice."
Readers of all ages... "A charming and challenging adventure." -- Wordplay, the Crossword Blog of The New York TimesAlice and her friends return for another romp thro...
|
cena:
49,22 |
![]() |
Subterranean Worlds: A Critical Anthology
ISBN: 9780819567239 / Angielski / Twarda / 2004 / 224 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) The bizarre idea that the earth's interior is hollow and, perhaps, even populated has been put to effective literary use by writers ranging from Edgar Allen Poe and Jules Verne to Rudy Rucker and Edgar Rice Burroughs. This notion had respectability as a scientific hypothesis until the early 1800s, and the theory that the earth "is hollow and inhabitable within" continues to find believers as an alternative description of the earth to this day. The hollow earth is one of the most important settings in the literature of the imagination that fed into early science fiction. Subterranean...
The bizarre idea that the earth's interior is hollow and, perhaps, even populated has been put to effective literary use by writers ranging from Edgar...
|
cena:
105,98 |
![]() |
Das Reichs-Konkursrecht
ISBN: 9783112379813 / Niemiecki / Twarda / 1904 / 539 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
656,89 |
![]() |
Der Reichs-Civilproceß
ISBN: 9783112380550 / Niemiecki / Twarda / 1898 / 762 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
911,25 |
![]() |
Zur Geschichte des Soldatentestamentes: Eine Festschrift
ISBN: 9783388939360 / Niemiecki Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
131,30 |
![]() |
Numbers
ISBN: 9781848903357 / Angielski / Miękka / 2020 / 238 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
78,76 |
![]() |
Types, Tableaus, and Gödel's God
ISBN: 9781402006043 / Angielski / Twarda / 2002 / 181 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Godel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added, semantically and through tableau rules, to produce a modified version of Montague/Gallin intensional logic. Extensionality, rigidity, equality, identity, and definite descriptions are investigated. Finally, various ontological proofs for the existence of God are discussed informally, and the Godel argument is fully...
Godel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented sema...
|
cena:
441,75 |
![]() |
New Jersey Vengeance
ISBN: 9781477469415 / Angielski / Miękka / 2012 / 254 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Bob Meyer, a wealthy creative inventor has become the champion of abused women, humiliated people, disabled souls, and undeserving victims. "I'm infuriated at senseless violent or cruel behavior towards others. I avenge my friends and the acquaintances of my friends, or those victimized who have made extraordinary effort to find me." After six years of "problem solving," his best friend James is robbed and left for dead. Finding the culprit is a challenge. Bob and his group dole out revenge, recover James fortune, and learning why his friend was a victim is a surprising discovery about James'...
Bob Meyer, a wealthy creative inventor has become the champion of abused women, humiliated people, disabled souls, and undeserving victims. "I'm infur...
|
cena:
55,87 |
![]() |
Types, Tableaus, and Gödel's God
ISBN: 9789401039123 / Angielski / Miękka / 2012 / 181 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Godel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added, semantically and through tableau rules, to produce a modified version of Montague/Gallin intensional logic. Extensionality, rigidity, equality, identity, and definite descriptions are investigated. Finally, various ontological proofs for the existence of God are discussed informally, and the Godel argument is fully...
Godel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented sema...
|
cena:
441,75 |
![]() |
Singapore Sting
ISBN: 9781467997140 / Angielski / Miękka / 2012 / 226 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Steve Thomaso, a successful CEO of a major electronics company travels to Singapore, the safest city in the world, and is kidnapped. The company has kidnap and ransom Insurance and expects no problem in the return of Steve. Unfortunately an employee of the company who wants the CEO position intentionally screws up the ransom delivery causing horrible unintended consequences, and triggering a demand for vengence.
Steve Thomaso, a successful CEO of a major electronics company travels to Singapore, the safest city in the world, and is kidnapped. The company has k...
|
cena:
47,89 |
![]() |
Incompleteness in the Land of Sets
ISBN: 9781904987345 / Angielski / Miękka / 2007 / 156 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Russell's paradox arises when we consider those sets that do not belong to themselves. The collection of such sets cannot constitute a set. Step back a bit. Logical formulas define sets (in a standard model). Formulas, being mathematical objects, can be thought of as sets themselves-mathematics reduces to set theory. Consider those formulas that do not belong to the set they define. The collection of such formulas is not definable by a formula, by the same argument that Russell used. This quickly gives Tarski's result on the undefinability of truth. Variations on the same idea yield the...
Russell's paradox arises when we consider those sets that do not belong to themselves. The collection of such sets cannot constitute a set. Step back ...
|
cena:
157,51 |
![]() |
Proof Methods for Modal and Intuitionistic Logics
ISBN: 9789048183814 / Angielski / Miękka / 2010 / 555 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) "Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for the most common normal modal logics: S5, S4, B, T, D, K, K4, D4, KB, DB, and also G, the logic that has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a similar variety of proof...
"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that log...
|
cena:
803,21 |
![]() |
Money Making Rules By A Public Company CEO
ISBN: 9781463697297 / Angielski / Miękka / 2011 / 188 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) A serious set of rules for business managers that the author has successfully used in the founding and building of three companies, in a humorous memoir. Do you know the first rule of advertising? The first rule of survival? The author describes these and eight more that can save the company money or make money for the company. Do you know the first rule of driving? Never put you car in a space occupied by something else
A serious set of rules for business managers that the author has successfully used in the founding and building of three companies, in a humorous memo...
|
cena:
55,67 |
![]() |
The Prehistory of the Burnt Bluff Area: Volume 34
ISBN: 9781949098136 / Angielski / Miękka / 1968 / 140 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
46,21 |
![]() |
Die Entbehrlichkeit der beabsichtigten Novelle zur Civilproceßordnung
ISBN: 9783111170329 / Niemiecki / Twarda / 1886 / 35 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
466,12 |
![]() |
Die Institutionenglossen des Gualcausus und die übrigen in der Handschrift 328 des Kölner Stadt Archivs enthaltenen Erzeugnisse mittelalterlicher Rechtslitteratur als Entgegnung gegen Flach
ISBN: 9783111307213 / Niemiecki / Twarda / 1891 / 144 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
466,12 |
![]() |
Der Reichs-Civilprozeß
ISBN: 9783111170268 / Niemiecki / Twarda / 1907 / 816 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
974,84 |
![]() |
Incompletetude Na Terra DOS Conjuntos
ISBN: 9781848901094 / Portugalski / Miękka / 2013 / 178 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da logica matematica no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmetica conseguemse obter facilmente a partir destes e sao tambem apresentados. Evita-se, em geral, o recurso a enumeracao de Godel, exceto quando se estabelece uma relacao explicita entre a teoria de conjuntos e a aritmetica. Este livro nao pressupoe muitos conhecimentos previos por parte do leitor. Apenas se pede alguma maturidade matematica, alguma familiaridade com logica formal e que o leitor conheca o teorema da...
Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da logica matematica no contexto da teoria de conjuntos. Os resultados corre...
|
cena:
83,01 |