Your search returned 2 results.

Results
		A first course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter. by Dowsing, Roy Rayward-Smith, V. J Walter, C. D Series: Computer science texts Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford ; Boston : Blackwell Scientific Publications, 1986 Availability: Items available for loan: Carlow Campus Library (1)Call number: 001.642. Place hold Place recall Add to cart (remove)
		Logic for applications / Anil Nerode, Richard A. Shore. by Nerode, Anil, 1932- Shore, Richard A, 1946- Series: Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1997 Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.1015113. Place hold Place recall Add to cart (remove)

Refine your search