IIITB Library

Your cart is empty.

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

by Andrews, P. B.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Dordrecht Kluwer Academic Publisher 2002Availability: Items available for loan: [Call number: 511.3 AND] (1).

Add to cart
Philosophy of arithmetic: Psychological and logical investigations with supplementary texts from 1887-1901

by Husserl, E.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boston Kluwer Academic Publisher 2003Availability: Items available for loan: [Call number: 513 HUS] (1).

Add to cart

International Institute of Information Technology, Bangalore
26/C, Electronics City, Hosur Road,Bengaluru-560100 Contact Us
Koha & OPAC at IIITB deployed by Bhargav Sridhar & Team.

Powered by Koha