FORMAL LOGIC FOR COMPUTER SCIENCE: Propositions Predicates Proof Systems Type Theory and Computational Reasoning

Preise von
12,93

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

FORMAL LOGIC FOR COMPUTER SCIENCE: Propositions Predicates Proof Systems Type Theory and Computational Reasoning

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
12,93 €
Gratis
12,93 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
12,93 €
Gratis
12,93 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

FORMAL LOGIC FOR COMPUTER SCIENCE: Propositions Predicates Proof Systems Type Theory and Computational Reasoning

Produktspezifikationen

Marken Independently Published
EAN
  • 9798170629770

Independently Published

COMPUTATIONAL LOGIC and PROOF SYSTEMS: Formal Languages Inference Rules Type Systems Machine Assisted Reasoning

12,93 €
2 Shops vergleichen 2 Shops

Independently Published

DEPENDENT TYPE THEORY: Types Propositions Functions Logical Foundations and Formal Reasoning

12,93 €
2 Shops vergleichen 2 Shops

Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

68,55 €
2 Shops vergleichen 2 Shops

Springer

Logic in Computer Science: Modelling and Reasoning about Systems

61,99 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
12,93 €
Zum Shop