Refine your search

• Availability
  • Limit to currently available items.

• Authors

  • Beth, Evert Willem (1)
  • Beth, Evert Willem, ed. (2)
  • Dekker, Jacob C. E. (1)
  • Henkin, Leon (1)
  • Porte, Jean (1)
• Holding libraries
  • PK Kelkar Library, IIT Kanpur (6)
• Home libraries
  • PK Kelkar Library, IIT Kanpur (6)

• Item types

  • Books (6)

• Series

  • Collection De Logique Mathematique, Ser. A; 11 (1)
  • Collection De Logique Mathematique, Ser.A, 18 (1)
  • Collection De Logique Mathematique. Ser. A, 22 (1)
  • Collection De Logique Mathematique. Ser. A.;1 (1)
  • Collection De Logique Mathematique. Ser. A; 10 (1)
  • Collection De Logique Mathematique. Ser. A; 12 (1)

• Topics

  • Algebra, Abstract (1)
  • Logic (1)
  • Logic, Symbolic And Mathematical (2)
  • Mathematics. Philosophy (2)
  • Recursive Functions (1)
  • Show more