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

Your search returned 2 results. Subscribe to this search

|
1. Structural proof theory

by Negri, Sara | Plato, Jan Von.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 256p.Publisher: Cambridge Cambridge Univ. Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 N313s] (1).

2. Elements of logical reasoning

by Plato, Jan Von.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 264p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P697e] (1).

Powered by Koha