Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Einfache Typentheorie: Eine praktische Logik zum Ausdrücken und Denken über Matte...

Ø 0.0
0 Bewertungen
86,99 €

Th is an introduction tosimple type theory, a classical higher-order version of predicate logic that extends first-order logic.

Jetzt bei Ebay:

Zum Angebot *
  • Book Title:
    Simple Type Theory : A Practical Logic for Expressing and Reasoni
  • ISBN:
    9783031211140
  • Standard Shipping:
    Standard International Shipping 18,63 EUR - Lieferung zwischen 24. June 2025 und 04. July 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    US-Protektorate , APO/FPO , Bahrain , Irak , Jordanien , Libanon , Oman , Saudi-Arabien , Türkei , Jemen , ... und weitere

Ähnliche Artikel

Produktbild - Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathema

Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathema

70,79 €
Zum Angebot
Produktbild - Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mat...

87,01 €
Zum Angebot
Produktbild - Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema

100,05 €
Zum Angebot
Produktbild - Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema

120,71 €
Zum Angebot
Produktbild - Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema

129,81 €
Zum Angebot
Produktbild - Simple Type Theory: A Practical Logic for Expressing and Reasoning About: New

Simple Type Theory: A Practical Logic for Expressing and Reasoning About: New

158,48 €
Zum Angebot
Produktbild - Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

84,75 €
Zum Angebot
Produktbild - Coherent Systems (Volume 2) (Studies in Logic and Practical Reasoning, Volume 2)

Coherent Systems (Volume 2) (Studies in Logic and Practical Reasoning, Volume 2)

98,32 €
Zum Angebot
Produktbild - Fundamentals of Logic and Computation: With Practical Automated Reasoning and Ve

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Ve

77,07 €
Zum Angebot
Produktbild - Notes on Logic and Set Theory (Cambr... by Johnstone, P. T. Paperback / softback

Notes on Logic and Set Theory (Cambr... by Johnstone, P. T. Paperback / softback

13,42 €
Zum Angebot
Produktbild - Many-Valued Logics 2: Automated Reasoning and Practical Applications by Leonard

Many-Valued Logics 2: Automated Reasoning and Practical Applications by Leonard

83,57 €
Zum Angebot
Produktbild - Practical Logic : An Antidote for Uncritical Thinking Hardcover

Practical Logic : An Antidote for Uncritical Thinking Hardcover

6,00 €
Zum Angebot
Produktbild - Epistemic Game Theory and Logic by Paul Weirich (English) Paperback Book

Epistemic Game Theory and Logic by Paul Weirich (English) Paperback Book

48,14 €
Zum Angebot
Produktbild - Logic Programming: Operational Semantics and Proof Theory by J. Andrews (English

Logic Programming: Operational Semantics and Proof Theory by J. Andrews (English

74,56 €
Zum Angebot
Produktbild - Logic and Discrete Mathematics: A Concise Introduction by Willem Conradie (Engli

Logic and Discrete Mathematics: A Concise Introduction by Willem Conradie (Engli

60,87 €
Zum Angebot
Produktbild - Practical Logic: An Antidote For Uncritical Thinking 4th Ed

Practical Logic: An Antidote For Uncritical Thinking 4th Ed

37,27 €
Zum Angebot
Produktbild - Fundamentals of Logic and Computation : With Practical Automated Reasoning an...

Fundamentals of Logic and Computation : With Practical Automated Reasoning an...

42,36 €
Zum Angebot
Produktbild - Concise Introduction to Logic and Set Theory by Iqbal H. Jebril (English) Paperb

Concise Introduction to Logic and Set Theory by Iqbal H. Jebril (English) Paperb

113,38 €
Zum Angebot
Produktbild - An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by

102,94 €
Zum Angebot
Produktbild - Epistemic Game Theory and Logic by Paul Weirich [Paperback]

Epistemic Game Theory and Logic by Paul Weirich [Paperback]

39,39 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay