Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2 results. Subscribe to this search

|
1. Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus

by Goodstein, R. L.

Material type: book Book Description: xii, 190p.Publisher: Amsterdam North-Holland 1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G629r] (1).

2. Foundations of set theory

by Fraenkel, Abraham A | Bar-Hillel, Yehoshua.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 415p.Publisher: Amsterdam North-Holland Publishing 1958Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 St9] (1).

Powered by Koha