topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 43
 |
Der Reichs-Civilproceß
ISBN: 9783112379790 / Niemiecki / Twarda / 1897 / 884 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
1094,54 zł |
 |
Der Reichs-Civilproceß
ISBN: 9783112381830 / Niemiecki / Twarda / 1884 / 478 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
569,06 zł |
 |
Der Reichs-Civilproceß
ISBN: 9783112380550 / Niemiecki / Twarda / 1898 / 762 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
941,27 zł |
 |
Das Reichs-Konkursrecht
ISBN: 9783112379813 / Niemiecki / Twarda / 1904 / 539 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
678,53 zł |
 |
Numbers
ISBN: 9781848903357 / Angielski / Miękka / 2020 / 238 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
88,12 zł |
 |
Singapore Sting
ISBN: 9781467997140 / Angielski / Miękka / 2012 / 226 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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:
53,58 zł |
 |
Proof Methods for Modal and Intuitionistic Logics
ISBN: 9789048183814 / Angielski / Miękka / 2010 / 555 str. Termin realizacji zamówienia: ok. 20 dni roboczych. "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:
783,57 zł |
 |
Money Making Rules By A Public Company CEO
ISBN: 9781463697297 / Angielski / Miękka / 2011 / 188 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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:
62,29 zł |
 |
Incompleteness in the Land of Sets
ISBN: 9781904987345 / Angielski / Miękka / 2007 / 156 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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:
176,22 zł |
 |
New Jersey Vengeance
ISBN: 9781477469415 / Angielski / Miękka / 2012 / 254 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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:
62,52 zł |
 |
Types, Tableaus, and Gödel's God
ISBN: 9781402006043 / Angielski / Twarda / 2002 / 181 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
391,77 zł |
 |
Types, Tableaus, and Gödel's God
ISBN: 9789401039123 / Angielski / Miękka / 2012 / 181 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
391,77 zł |
 |
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. 22 dni roboczych. |
cena:
481,48 zł |
 |
Über die Heimat und das Alter des sogenannten Brachylogus
ISBN: 9783111170343 / Niemiecki / Twarda / 1880 / 43 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
481,48 zł |
 |
Incompletetude Na Terra DOS Conjuntos
ISBN: 9781848901094 / Portugalski / Miękka / 2013 / 178 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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:
92,87 zł |
 |
The Struggle for Maize: Campesinos, Workers, and Transgenic Corn in the Mexican Countryside
ISBN: 9780822349563 / Angielski / Miękka / 2011 / 322 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. When scientists discovered transgenes in local Mexican corn varieties in 2001, their findings intensified a debate about not only the import of genetically modified (GM) maize into Mexico but also the fate of the peasantry under neoliberal globalization. While the controversy initially focused on the extent to which gene flow from transgenic to local varieties threatens maize biodiversity, anti-GM activists emphasized the cultural significance of the crop in Mexico and demanded that campesinos and consumers have a voice in the creation of GM maize and rural policies. In The Struggle for...
When scientists discovered transgenes in local Mexican corn varieties in 2001, their findings intensified a debate about not only the import of geneti...
|
cena:
126,98 zł |
 |
Der Reichs-Civilprozeß
ISBN: 9783111170268 / Niemiecki / Twarda / 1907 / 816 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
1006,96 zł |
 |
Die Reizleitungsvorgaenge bei den Pflanzen
ISBN: 9783750168176 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
73,75 zł |
 |
Zur Einführung in die Reichs-Gerichtsverfassung und den Reichs-Civilproceß
ISBN: 9783111310473 / Niemiecki / Twarda / 1879 / 144 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
481,48 zł |
 |
Die Entbehrlichkeit der beabsichtigten Novelle zur Civilproceßordnung
ISBN: 9783111170329 / Niemiecki / Twarda / 1886 / 35 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
481,48 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
