gogo

Your search returned 34 results.

Sort
Results
Computability and logic / George S. Boolos, Richard C. Jeffrey. by
Edition: 3rd ed.
Material type: Text 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.
Schaum's outline of theory and problems of Boolean algebra and switching circuits. by Series: Schaum's outline series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : McGraw-Hill, [1970]
Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.32.
Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker. by Series: Computer science and scientific computing
Edition: 2nd. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston : Academic Press, Harcourt, Brace, 1994
Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3.
Introduction to languages and the theory of computation / John C. Martin. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : McGraw-Hill, c1991
Availability: Items available for loan: Carlow Campus Library (2)Call number: 511.3, ...
Discrete mathematics for computing / A. Vince and C. Morris. by Series: Mathematics and its applications (Chichester, England : 1988). Statistics, operational research, and computational mathematics.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : E. Horwood, 1990
Availability: Items available for loan: Carlow Campus Library (3)Call number: 511.33, ... Wexford Campus Library (1)Call number: 511.33.
Introduction to mathematical logic / Elliott Mendelson. by Series: Wadsworth & Brooks/Cole mathematics series
Edition: 3rd ed.
Material type: Text 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.
Discrete mathematical structures for computer science / Bernard Kolman, Robert C. Busby. by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Prentice-Hall International, c1987
Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.1.
Numbers, sequences and series. Keith E. Hirst. by Series: Modular mathematics series | Modular mathematics series
Material type: Text Text
Publication details: London : Edward Arnold, 1995
Availability: Items available for loan: Carlow Campus Library (1)Call number: 515.24.
Logic for applications / Anil Nerode, Richard A. Shore. by Series: Graduate texts in computer science (Springer-Verlag New York Inc.)
Edition: 2nd ed.
Material type: Text 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.
Essence of logic / John J. Kelly. by
Material type: Text 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, ...
Pages

Powered by Koha