Your search returned 15 results.

Results
		Introductory logic and sets for computer scientists / Nimal Nissanke. by Nissanke, Nimal Series: International computer science series Publication details: Harlow ; Reading, Mass. : Addison Wesley Longman, 1999 Availability: Items available for loan: Pilkington Library (1)Call number: 511.3/NIS. Place hold Add to cart (remove)
		Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.). by Workshop on Computer Science Logic (12th : 1998 : Brno, Czech Republic) Gottlob, G. (Georg) Grandjean, E. (Etienne) Seyr, Katrin Series: Lecture notes in computer science ; 1584 Publication details: Berlin ; London : Springer, c1999 Availability: Items available for loan: Pilkington Library (1)Call number: 511.3/WOR. Place hold Add to cart (remove)
		A friendly introduction to mathematical logic / Christopher C. Leary. by Leary, Christopher C, 1957- Publication details: Upper Saddle River, N.J. : London : Prentice Hall ; Prentice-Hall International (UK), c2000 Availability: Items available for loan: Pilkington Library (1)Call number: 511.3/LEA. Place hold Add to cart (remove)
		No cover image available ACM transactions on computational logic [electronic resource]. by Association for Computing Machinery Publication details: ACM. Online resources: Click here to access online Availability: Items available for reference: Online Resource: Not For Loan (1). Add to cart (remove)
		Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Publication details: Cambridge : Cambridge University Press, 2000 Availability: Items available for loan: Pilkington Library (2)Call number: 005.131/HUT, ... Place hold Add to cart (remove)
		Isabelle / HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. by Nipkow, Tobias, 1958- Paulson, Lawrence C Wenzel, Markus Series: Lecture notes in computer science ; 2283 Publication details: Berlin ; London : Springer, c2002 Availability: Items available for loan: Pilkington Library (1)Call number: 511.3/NIP. Place hold Add to cart (remove)
		Inconsistency tolerance / Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (eds.). by Bertossi, Leopoldo Hunter, Anthony, 1962- Schaub, Torsten Series: Publication details: Berlin : Springer, c2005 Availability: Items available for loan: Pilkington Library (1)Call number: 620.0045/INC. Place hold Add to cart (remove)
		Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan. by Gopalakrishnan, Ganesh Publication details: New York, N.Y. : Springer, c2006 Availability: Items available for loan: Pilkington Library (1)Call number: 004.0151/GOP. Place hold Add to cart (remove)
		Advanced methods for inconsistent knowledge management / Ngoc Thanh Nguyen. by Nguyễn, Ngọc Thanh Series: Advanced information and knowledge processing Publication details: London : Springer, 2007 Availability: Items available for loan: Pilkington Library (1)Call number: 658.4038/NGU. Place hold Add to cart (remove)
		Dynamic logic [electronic resource] / David Harel, Dexter Kozen, Jerzy Tiuryn. by Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy Series: Foundations of computing Publication details: Cambridge, Mass. : MIT Press, 2000 Online resources: Click here to access online Availability: Items available for loan: Online Resource (1). Place hold Add to cart (remove)
		Logic in computer science [electronic resource] : modelling and reasoning about systems / Michael Huth, Mark Ryan. by Huth, Michael, 1962- Ryan, Mark, 1962- Edition: 2nd ed. Publication details: Cambridge : Cambridge University Press, 2004 Online resources: Click here to access online Availability: Items available for loan: Online Resource (1). Place hold Add to cart (remove)
		Handbook of practical logic and automated reasoning [electronic resource] / John Harrison. by Harrison, John Publication details: Cambridge : Cambridge University Press, 2009 Online resources: Click here to access online Availability: Items available for loan: Online Resource (1). Place hold Add to cart (remove)
		Modal and temporal properties of processes / Colin Stirling. by Stirling, Colin P [author.] Series: Texts in computer sciencePublisher: New York : Springer, [2011] Availability: Items available for loan: Pilkington Library (1)Call number: 004.35/STI. Place hold Add to cart (remove)
		Modal and temporal properties of processes [electronic resource] / Colin Stirling. by Stirling, Colin P [author.] Series: Texts in Computer SciencePublisher: New York : Springer, 2001 Online resources: Click here to access online Availability: Items available for loan: Online Resource (1). Place hold Add to cart (remove)
		Logic-based artificial intelligence / edited by Jack Minker. by Minker, Jack [editor.] Series: Kluwer international series in engineering and computer sciencePublisher: New York : Springer Science+Business Media, LLC, [2012] Availability: Items available for loan: Pilkington Library (1)Call number: 006.3/LOG. Place hold Add to cart (remove)