Taylor's Library

Refine your search

• Availability

  • Limit to currently available items.

• Authors

  • Brownsword, Mike (1)
  • Holt, Jon (1)
  • Perry, Simon A (1)
  • Shanker, N. (1)

• Collections

  • Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 (1)

• Holding libraries

  • TU External Storage-LCS (1)

• Item types

  • Main Collection (1)

• Series

  • Cambridge tracts in ... (1)
  • Computing (1)

• Topics

  • Automatic theorem pr... (2)
  • Gödel's theorem (1)
  • Logic. (1)
  • System analysis. (1)
  • System safety. (1)