Refine your search

• Availability

  • Limit to records with available items

• Authors

  • Bowers, Adam (1)
  • Goldrei, Derek (1)
  • Mendelson, Elliott (1)
  • Yandl, André L. (1)

• Collections

  • Non-fiction (2)

• Holding libraries

  • Ahmedabad (2)
  • Bangalore (1)

• Item types

  • Book (3)

• Locations

  • General Stacks (1)

• Series

  • Aurora Dover modern ... (1)
  • Discrete Mathematics... (1)
  • Textbooks in Mathema... (1)

• Topics

  • Calculus - Mathemati... (1)
  • Computability (1)
  • First-order logic (1)
  • Formal number theory... (1)
  • Logic, symbolic and ... (1)
  • Point set theory - M... (1)
  • Predicate calculus (1)
  • Propositional calcul... (2)
  • Propositional calcul... (1)
  • Topology - Mathemati... (1)
  • Show more
  • Show less