Refine your search

• Availability
  • Limit to records with available items
• Authors
  • Alagar, V.S.
  • Almeida, José Bacelar
  • Crossley, John Newsome
  • Dowek, Gilles
  • Frade, Maria João
  • Gabbar, Hossam A.
  • Gabbay, D.M.
  • Gabbay, Dov M.
  • Goncharov, Sergei S.
  • Guenthner, F.
  • Lee, Kent
  • Lévy, Jean-Jacques
  • McIver, Annabelle
  • Melo de Sousa, Simão
  • Morgan, Carroll
  • Periyasamy, K.
  • Pinto, Jorge Sousa
  • Poernomo, Iman Hafiz
  • Schellekens, Michel
  • SpringerLink (Online service)
  • Show more
  • Show less
• Item types
  • ER
• Locations
  • EL
• Series
  • Handbook of Philosophical Logic
  • International Mathematical Series
  • Monographs in Computer Science
  • Texts in Computer Science
  • Undergraduate Topics in Computer Science
• Topics
  • ALGEBRA
  • ALGORITHM ANALYSIS AND PROBLEM COMPLEXITY.
  • APPL.MATHEMATICS/COMPUTATIONAL METHODS OF ENGINEERING.
  • ARTIFICIAL INTELLIGENCE.
  • ARTIFICIAL INTELLIGENCE (INCL. ROBOTICS)
  • CHEMISTRY
  • COMPUTER SCIENCE.
  • DATA PROCESSING.
  • LOGIC.
  • LOGIC DESIGN.
  • LOGICS AND MEANINGS OF PROGRAMS.
  • LOGIC, SYMBOLIC AND MATHEMATICAL.
  • MATHEMATICAL LOGIC AND FORMAL LANGUAGES.
  • MATHEMATICAL LOGIC AND FOUNDATIONS.
  • MATHEMATICS.
  • MODELS AND PRINCIPLES.
  • PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS.
  • PROGRAMMING TECHNIQUES.
  • SOFTWARE ENGINEERING.
  • SYMBOLIC AND ALGEBRAIC MANIPULATION.
  • Show more
  • Show less
• Collections
  • LE
• Holding libraries
  • CICY
• Home libraries
  • CICY
• Languages
  • English