One hundred years of intuitionism (1907-2007) : the Cerisy conference / / Mark van Atten ... [et al.], editors.
Saved in:
Superior document: | Publications des Archives Henri-Poincare = Publications of the Henri Poincare archives |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2008 |
Language: | English |
Series: | Publications des Archives Henri-Poincare.
|
Online Access: | |
Physical Description: | xiii, 422 p. :; ill. ;; 24 cm. |
Notes: | Contains essays from the meeting 1907-2007: one hundred years of intuitionism, held in Cerisy, France, from June 5-12, 2007. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
One hundred years of intuitionism (1907 - 2007) : the Cerisy conference / Mark van Atten ... eds.
Published: (2008) -
Church's Thesis After 70 Years / / ed. by Adam Olszewski, Jan Wolenski, Robert Janusz.
Published: ([2013]) -
Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 / / edited by Giovanni Sambin and Jan M. Smith.
Published: (1998.) -
Logic and combinatorics : : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / / Stephen G. Simpson, editor.
Published: ([1987]) -
Advances in logic : : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / / Su Gao, Steve Jackson, Yi Zhang, editors.
Published: ([2007])