Your search returned 20 results.

Results per page:

Results
		Computability and logic / George S. Boolos, Richard C. Jeffrey. by Boolos, George Jeffrey, Richard C Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 1989 Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3. Place hold Place recall Add to cart (remove)
		Logics for artificial intelligence / Raymond Turner. by Turner, Raymond, 1947- Series: Ellis Horwood series in artificial intelligence Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chichester : New York : E. Horwood ; Halsted Press, 1984 Availability: Items available for loan: Carlow Campus Library (1)Call number: 006.3. Place hold Place recall Add to cart (remove)
		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 / prepared by the Mathematics Foundation Course Team. 1, Boolean algebra. by Open University. Mathematics Foundation Course Team Series: Mathematics Foundation Course ; Unit 11 \| Mathematics foundation course, correspondence texts Material type: Text Publication details: Bletchley (Walton Hall, Bletchley, Bucks.) : Open University Press, 1971 Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3. Place hold Place recall Add to cart (remove)
		Logic for mathematicians / A. G. Hamilton. by Hamilton, A. G, 1943- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge [Eng.] ; New York : Cambridge University Press, 1978 Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3. Place hold Place recall Add to cart (remove)
		Introduction to mathematical logic / Elliott Mendelson. by Mendelson, Elliott Series: Wadsworth & Brooks/Cole mathematics series Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, c1987 Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3. 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)
		Essence of logic / John J. Kelly. by Kelly, John J. (John Joseph), 1940 Nov. 23-1995 Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Prentice Hall, 1997 Other title: Logic Availability: Items available for loan: Carlow Campus Library (2)Call number: 005.131, ... Wexford Campus Library (2)Call number: 005.131, ... Lists: CW206 Higher Certificate in Computing, CW207 - BSc Software Development, CW238 BSc (Hons) Software Development. Place hold Place recall Add to cart (remove)

Powered by Koha