Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman.  _The Design
  and Analysis of Computer Algorithms_.  Addison-Wesley, 1974.
* dispo : [681.32 AHO]

Alfred Aho, Ravi Sethi, and Jeffrey Ullman. _Compilateurs : Principes,
  techniques et outils_. Dunod, 2000.  ISBN 2-7296-0295-X.  Traduction
  de _Compilers_, Addison Wesley, 1986.  ISBN 0-201-10194-7.
* dispo : [681.34 AHO]

Franz Baader and Tobias Nipkow.  _Term rewriting and all that_, Cambridge
  University Press, 1998.
* disponible : [681.31 BAA]

Danièle Beauquier, Jean Berstel, and Philippe Chrétienne. _Éléments
  d'algorithmique_. Masson, 1992.
* dispo : [681.32 BEA]

Olivier Carton. _Langages formels, calculabilité et complexité_.
  Vuibert, 2008.
* dispo : [681.31 CAR]

Serenella Cerrito.  _Logique pour l'informatique - introduction à la
  déduction automatique_.  Vuibert, 2008.  ISBN 978-2-7117-2069-9.
* dispo : [681.34 CER]

René Cori.  _Logique mathématique - cours et exercices_. Vol. 2
  _Fonctions récursives, théorème de Gödel, théorie des ensembles,
  théorie des modèles_.  Masson, 1992.  ISBN 2-225-84080-6.
* dispo : [511.1 COR], assez peu utilisé...

Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest.
  _Introduction à l'algorithmique_. 2e édition, Dunod, 2002.
  _Introduction to Algorithms_. 3rd edition, MIT Press, 2009.
* dispo : [681.32 COR] et [681.32 INT]

Maxime Crochemore and Wojciech Rytter.  _Text Algorithms_, Oxford
  University Press, 1994.
* disponible : [681.32 CRO]

Sanjoy Dasgupta, Christos Papadimitriou, and Umesh Vazirani.
  _Algorithms_  McGraw-Hill, 2008.
* dispo : [681.32 DAS]

René David, Karim Nour and Christophe Raffalli.  _Introduction à la
  logique - théorie de la démonstration_.  Dunod, 2001.  ISBN
  2-10-004892-9.  (Aussi Dunod, 2004, ISBN 2-10-006796-6.)
* dispos : [511.1 DAV]

Shimon Even.  _Graph Algorithms_, London Pitman, 1979.
* disponible : [681.32 EVE]

Michael R. Garey and David S. Johnson.  _Computers and Intractability
  - a Guide to the Theory of NP-Completeness_.  W. H. Freeman, 1979.
  ISBN 0-7167-1045-5.
* dispo : [681.32 GAR]

Jean Goubault-Larrecq and Ian Mackie.  _Proof Theory and Automated
  Deduction_.  Kluwer, 1997.  ISBN 0-7923-4593-2.
* dispo au dpt info et [681.31 GOU]

Dick Grune, Henri E. Bals, Ceriel J.H. Jacobs et Koen G. Langendoen.
  _Compilateurs_.  Dunod, 2002.  ISBN 2-10-005887-8.  (Traduction de
  _Modern Compiler Design_, John Wiley & Sons, 2000.)
* dispo : [681.34 COM]

Michael A. Harrison.  _Introduction to Formal Language Theory_.
  Addison Wesley, 1978.  ISBN 0-201-02955-3.
* dispo : [681.31 HAR]

John E. Hopcroft and Jeffrey D. Ullman.  _Introduction to Automata
  Theory, Languages, and Computation_.  Addison Wesley, 1979. 
* dispo : [681.31 HOP]. Il existe une 2e édition avec Rajeev Motwani,
  Addison Wesley, 2001, ISBN 0-321-21029-8, mais elle est moins bien.

Jon Kleinberg and Éva Tardos.  _Algorithm Design_.  Addison Wesley,
  2006.
* dispo : [681.32 KLE]

Dexter C. Kozen.  _Automata and Computability_.  Springer, 1987.  ISBN 
  0-387-94907-0.
* dispo [681.31 KOZ]

René Lalement.  _Logique, réduction, résolution_.  Masson, 1990.  ISBN
  2-225-82104-6.
* dispo : [681.31 LAL]

Christos H. Papadimitriou.  _Computational Complexity_.
  Addison-Wesley, 1995.  ISBN 0-201-53082-1.
* dispo : [681.31 PAP]

Sylvain Perifel.  _Complexité algorithmique_.  Ellipses, 2014.  ISBN
  978-2-7298-8692-9. 
* à commander

Jacques Sakarovitch.  _Éléments de théorie des automates_.  Vuibert,
  2003.  ISBN 2-7117-4807-3.
* dispo : [681.31 SAK]

Robert Sedgewick et Philippe Flajolet.  _Introduction à l'analyse des
  algorithmes_.  International Thomson publ. 1996.  ISBN
  2-84180-957-9.
* dispo [681.32 SED]

Michael Sipser.  _Introduction to the Theory of Computation_.  PWS
  Publishing, 1997.  ISBN 0-534-94728-X.
* dispo : [681.31 SIP].

Glynn Winskel.  _The Formal Semantics of Programming Languages_.  MIT
  Press, 1993.
* dispo : [681.34 WIN]