
A Primer of Infinistesimal Analysis
John L. Bell
₹4,564

by John L. Bell
Free delivery. Nothing extra to pay at checkout.
While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in part because, as a form of higher-order intuitionistic logic - the internal logic of a topos - IST has been chiefly developed in a tops-theoretic context.
Description supplied by the publisher.