Logic and computation interactive proof with Cambridge LCF

Bibliographische Detailangaben

1. Verfasser:	Paulson, Lawrence C. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Press 1990
Ausgabe:	1. paperback ed.
Schriftenreihe:	Cambridge tracts in theoretical computer science 2
Schlagworte:	Berechenbarkeit > Mathematische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!