Your search returned 3 results.

Not what you expected? Check for suggestions

Results
		No cover image available One hundred years of intuitionism (1907-2007) [electronic resource] : the Cerisy conference / Mark van Atten ... [et al.], editors. by Atten, Markus Sebastiaan Paul Rogier van, 1973- \| ProQuest (Firm) \| 1907-2007: one hundred years of intuitionism (2007 : Cerisy, France). Series: Publications des Archives Henri-PoincareMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Basel ; Boston : Birkhauser, c2008Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available A short introduction to intuitionistic logic [electronic resource] / Grigori Mints. by Mints, G. E \| ProQuest (Firm). Series: University series in mathematics (Plenum Press)Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York : Kluwer Academic / Plenum Publishers, 2000Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available A short introduction to intuitionistic logic [electronic resource] / Grigori Mints. by Mints, G. E \| ProQuest (Firm). Series: University series in mathematics (Plenum Press)Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York : Kluwer Academic / Plenum Publishers, 2000Online access: Click to View Availability: No items available. Add to cart (remove)

Refine your search