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

Logik und Berechnung: Interaktiver Beweis mit Cambridge Lcf von Lawrence C. Pauls

Ø 0.0

0 Bewertungen

98,53 €

Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation.

Jetzt bei Ebay:

ISBN-13:

9780521395601
Book Title:

Logic and Computation: Interactive Proof with Cambridge Lcf
ISBN:

9780521395601

Standardversand:

Standard Int'l Postage 16,27 EUR - Lieferung zwischen 01. July 2025 und 07. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Belarus , Serbien , Ukraine , Marshallinseln , Afghanistan , Libyen , Nauru , Somalia , Jemen