Search

Your search returned 5 results.

Results
		No cover image available Edinburgh LCF : a mechanised logic of computation by Gordon, Michael J \| Milner, Arthur J \| Wadsworth, Christopher \| . Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1979Availability: Items available for loan: 1 Call number: 681.3 Gor. Place hold Add to cart (remove)
		No cover image available Computation : finite and infinite machines by Minsky, Marvin L \| . Series: Edition: Language: English Publication details: Englewood Cliffs ; Prentice-Hall, ; 1967Availability: Items available for loan: 2 Call number: 681.3 Min(2), ... Place hold Add to cart (remove)
		No cover image available Logic and computation : interactive proof with cambridge LCF by Paulson, Lawrence C \| . Series: Edition: Language: English Publication details: Cambridge ; Cambridge Univ. Press, ; 1987Availability: Items available for loan: 1 Call number: 681.3:517.1 Pau. Place hold Add to cart (remove)
		No cover image available Computability with PASCAL by Mallozzi, John S \| De Lillo, Nicholas J \| . Series: Edition: Language: English Publication details: Englewood Cliffs ; Prentice-Hall, ; 1984Availability: Items available for loan: 1 Call number: 681.3.06(PAS) Mal. Place hold Add to cart (remove)
		No cover image available Logic and computation : proceedings of a workshop, Carnegie Mellon University, June 30-July 2, 1987 / edited by Wilfried Sieg by American Mathematical Society \| . Series: Edition: Language: English Publication details: ; Providence : American Mathematical Society, 1992 ; 1990Availability: Items available for loan: 1 Call number: 517.1:681.3 Ame:87. Place hold Add to cart (remove)

Powered by Koha