Birkhaeuser

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations Applied Logic)

1/1

Abbildung von Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations Applied Logic)

Preise von

64,19

Gesponserte Links

	64,19 €	Zum Shop
ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations Applied Logic)

Webshops vergleichen (1)

Gesponserte Links · Einige Shops zahlen uns eine Vergütung

Sortieren nach:

64,19 € Gratis Versand

Beschreibung (0)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations Applied Logic)

Produktspezifikationen

Marken	Birkhaeuser
EAN	9783031211140

Set Theory (Studies in Logic: Mathematical Logic and Foundations)

2 Shops vergleichen 2 Shops

Birkhaeuser

Causal Discovery: Foundations, Algorithms and Applications (Computer Science Foundations Applied Logic)

2 Shops vergleichen 2 Shops

Independently Published

MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques...

Weitere Informationen Mehr Infos

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

Weitere Informationen Mehr Infos

Hervorgehobene Wahl

64,19 €

Zum Shop