wyszukanych pozycji: 4
Der Code der Mathematik: Beweis und Wahrheit
ISBN: 9783662665619 / Niemiecki / Miękka / 2023 Termin realizacji zamówienia: ok. 20 dni roboczych. Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und Äquivalenz. Neben ausgewählten Ideen von Platon, Aristoteles, Leibniz, Kant, Frege und anderen werden Resultate von Gödel und Tarski über Unvollständigkeit, Unentscheidbarkeit und Wahrheit in deduktiven Systemen und ihren semantischen Modellen vorgestellt. Der Hauptgegenstand dieses Textes ist die abhängige Typentheorie und neuere Entwicklungen in der Homotopy Type Theory. Diese Theorien beinhalten...
Motiviert durch aktuelle Entwicklungen in der abhängigen Typentheorie und bei Unendlichkategorien präsentiert dieses Buch die Ideengeschichte der Be...
|
|
cena:
120,52 zł |
Interreligi?ses Marketing
ISBN: 9783486591842 / Niemiecki / Miękka / 2023 / 300 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
|
cena:
174,54 zł |
Das J?dische Frankfurt - Von Der Ns-Zeit Bis Zur Gegenwart
ISBN: 9783111261669 / Niemiecki / 01-07-2024 Książka dostępna od: 01-07-2024 |
|
Planowany termin premiery książki: 01-07-2024
Książkę można już zamówić z rabatem 5% |
|
373,34 zł |
Headedness and/or grammatical anarchy?
ISBN: 9783985540501 / Angielski / Twarda / 2022 / 396 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
249,22 zł |