Your search returned 2 results.

Results
		Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson. by Paulson, Lawrence C [author.] Series: Cambridge tracts in theoretical computer science ; 2. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 1987 Other title: Logic & Computation Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. by Gordon, Michael J. C, 1948- Milner, R. (Robin), 1934-2010 Wadsworth, Christopher P Series: Lecture notes in computer science ; 78 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1979 Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Refine your search