Type Theory and Formal Proof

Ești offline

Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers

466

Pagini

2014

An

Hardcover

Copertă

Adaugă în bibliotecă

Libristo

În stoc Gratuit

Actualizat 12 ore în urmă

547.75

Lei

Editura Cambridge University Press

Copertă Hardcover

Pagini 466

An publicare 2014

ISBN 9781107036505

Conectează-te pentru a lăsa o recenzie

🔥 🔥 🔥 🔥 🔥

Nicio recenzie încă

Fii primul care lasă o impresie.

Mai multe de Rob Nederpelt

Logical Reasoning: A First Course

Logical Reasoning: A First Course

Cel mai bun preț

547.75 Lei

Literaz e mai bun în aplicație

Scanează cărți cu camera, compară prețuri
și organizează-ți raftul digital.

Deschide în aplicație