topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 43
 |
Der Reichs-Civilproceß
ISBN: 9783112381830 / Niemiecki / Twarda / 1884 / 478 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
567,76 zł |
 |
Der Reichs-Civilproceß
ISBN: 9783112380550 / Niemiecki / Twarda / 1898 / 762 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
939,13 zł |
 |
Das Reichs-Konkursrecht
ISBN: 9783112379813 / Niemiecki / Twarda / 1904 / 539 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
676,99 zł |
 |
Der Reichs-Civilproceß
ISBN: 9783112379790 / Niemiecki / Twarda / 1897 / 884 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
1092,04 zł |
 |
Numbers
ISBN: 9781848903357 / Angielski / Miękka / 2020 / 238 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
90,51 zł |
 |
Incompleteness in the Land of Sets
ISBN: 9781904987345 / Angielski / Miękka / 2007 / 156 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa 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:
181,01 zł |
 |
New Jersey Vengeance
ISBN: 9781477469415 / Angielski / Miękka / 2012 / 254 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa 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:
64,21 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:
390,87 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:
390,87 zł |
 |
Singapore Sting
ISBN: 9781467997140 / Angielski / Miękka / 2012 / 226 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa 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:
55,04 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:
781,79 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 (Dostawa 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:
63,98 zł |
 |
Die Reizleitungsvorgaenge bei den Pflanzen
ISBN: 9783750168176 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
73,58 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:
480,38 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:
480,38 zł |
 |
Die Neuerungen Der Novelle Zur Civilprozeßordnung Vom 1. Juni 1909: ALS Nachtrag Zur 12./13. Auflage Des Reichs-Civilprozeßes
ISBN: 9783111170336 / Niemiecki / Twarda / 1909 / 53 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
480,38 zł |
 |
Das Reichs-Concursrecht Und Concursverfahren
ISBN: 9783111170367 / Niemiecki / Twarda / 1881 / 442 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
611,45 zł |
 |
Selected Topics from Contemporary Logics
ISBN: 9781848903500 / Angielski / Miękka / 2021 / 858 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
161,44 zł |
 |
The Struggle for Maize: Campesinos, Workers, and Transgenic Corn in the Mexican Countryside
ISBN: 9780822349389 / Angielski / Twarda / 2011 / 320 str. Termin realizacji zamówienia: ok. 22 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:
466,97 zł |
 |
Die Anfänge der Rechtsschule zu Bologna
ISBN: 9783111170862 / Niemiecki / Twarda / 1888 / 129 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
480,38 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
