Home Advanced Search

Advanced Search - Page 1

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.)
Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)
Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Sandrine Blazy, Philippe Facon (auth.), Olivier Danvy, Robert Glück, Peter Thiemann (eds.)
Conference in Mathematical Logic — London ’70
  • PDF
  • English
  • Year: 1972
  • Author: Peter Aczel, Wayne Richter (auth.), Wilfrid Hodges (eds.)
Model Theory
  • PDF
  • English
  • Year: 1993
  • Author: Wilfrid Hodges
Logic: [an introduction to elementary logic]
  • DJVU
  • English
  • Year: 1977
  • Author: Hodges, Wilfrid
Logic: An Introduction to Elementary Logic
  • EPUB
  • English
  • Year: 2001
  • Author: Wilfrid Hodges
A shorter model theory
  • DJVU
  • English
  • Year: 1997
  • Author: Hodges, Wilfrid
Logic
  • PDF
  • English
  • Year: 1980
  • Author: Wilfrid Hodges
search