Refine your search

• Availability
  • Limit to currently available items.

• Authors

  • Craig, William (1)
  • Crossley, John N. (1)
  • Curry, Haskell B. (1)
  • Feys , Robert (1)
• Holding libraries
  • PK Kelkar Library, IIT Kanpur (2)
• Home libraries
  • PK Kelkar Library, IIT Kanpur (2)

• Item types

  • Books (2)

• Series

  • Studies In Logic And The Foundations Of Mathematics / Edited By A Heyting (1)
  • Studies In Logic And The Foundations Of Mathematics / Edited By A. Heyting (1)

• Topics

  • Constructive Order Types (1)
  • Foundations Of Mathematics (2)