One hundred years of intuitionism (1907-2007) : the Cerisy conference /

One hundred years of intuitionism (1907-2007) : the Cerisy conference /

41

Bibliographic Details
Main Author:	Atten, Mark Van
Format:
Language:	eng
Published:	Basel, Switzerland : Birkhauser, 2008
Subjects:	Intuitionistic mathematics Mathematics

Similar Items

Intuitionism : an introduction /
by: 335238 Heyting, Arend
Published: (1966)

Element of intuitionism /
by: 345099 Dummett, Micheal
Published: (1977)

Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)

Intuitionism and proof theory : proceedings /
by: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), et al.
Published: (1970)

Brouwer meets Husserl [electronic resources]: On the Phenomenology of Choice Sequences/
by: 356252 Atten, Mark
Published: (c200)

From Intuitionism to Brouwer's Modal Logic
by: Zofia Kostrzycka
Published: (2020-12-01)

Choice sequences: a chapter of intuitionistics mathematics /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1977)

Two versions of minimal intuitionism with the CAP. A note.
by: Gemma ROBLES, et al.
Published: (2010-01-01)

Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)

Intuitionistic logic model theory and forcing /
by: Fitting, Melvin, 1942-
Published: (1969)

The foundations of intuitionistic mathematics, especially in relation to recursive functions /
by: 308908 Kleene, Stephen Cole
Published: (1965)

The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
by: Kleene Symposium (1978 : University of Wisconsin-Madison), et al.
Published: (1980)

Decision and game theory in management with intuitionistic fuzzy sets /
by: Li, Deng-Feng, author
Published: (2014)

Fitting Insurance Claim Reserves with Two-Way ANOVA and Intuitionistic Fuzzy Regression
by: Jorge De Andrés-Sánchez
Published: (2024-03-01)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
by: Piotr Urbańczyk
Published: (2014-09-01)

The Math Teacher's Toolbox : Hundreds of Practical Ideas to Support Your Students /
by: Wong, Bobson, 1971-, author 637013, et al.
Published: ([202)

1,001 uses of the hundred square : activities and ideas /
by: 297963 Beardsley, Leah Mildred
Published: (1973)

A Lexicographic Method for Matrix Games with Payoffs of Triangular Intuitionistic Fuzzy Numbers
by: Jiang-Xia Nan, et al.
Published: (2010-09-01)

A Note on “A Lexicographic Method for Matrix Games with Payoffs of Triangular Intuitionistic Fuzzy Numbers”
by: Tina Verma, et al.
Published: (2015-08-01)

Population in Palestine before the Nakba and after a hundred years of demographic conflict (1907-2007)
by: يوسف براهيم
Published: (2008-09-01)

Intuitionism disproved?
by: Williamson, T
Published: (1982)

Applications of mathematics in engineering and economics 33 : 33rd International Conference 33rd international conference, Sozopol, Bulgaria, 8-14 June 2007 /
by: International Conference "Applications of Mathematics in Engineering and Economics" (33rd : 2007 : Sozopol, Bulgaria), et al.
Published: (2007)

A comparative analysis of the fuzzy and intuitionistic fuzzy environment for group and individual equipment replacement Models in order to achieve the optimized results
by: Saranya Vijaya Kumar, et al.
Published: (2023-01-01)

Authentication of counterfeit hundred Ringgit Malaysian banknotes using fuzzy graph method
by: Hassan, Nurfarhana, et al.
Published: (2023)

What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
by: David Charles McCarty, et al.
Published: (2016-08-01)

Les transitions écologiques à Cerisy
by: Larrère Catherine, et al.
Published: (2016-07-01)

Frontier and Semifrontier Sets in Intuitionistic Topological Spaces
by: S. Girija, et al.
Published: (2018-09-01)

Intuitionism and Moral Reasoning
by: Guillermo Lariguet
Published: (2017-11-01)

Activities of the Lithuanian Mathematical Society in 2007–2010
by: Jonas Kubilius
Published: (2010-12-01)

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /
by: Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), et al.
Published: (2007)

General mathematics : a one year course /
by: 390140 Crandall, Harris, et al.
Published: (1937)

Egon Vielrose (1907–1984) – Demographer, Statistician, Econometrician
by: Czesław Domański
Published: (2019-01-01)

Journal d’un colloque de Cerisy.
by: Yves Winkin
Published: (2021-10-01)

Construction of Intuitionistic Fuzzy Mappings with Applications
by: Farhan Ismail, et al.
Published: (2020-12-01)

On Intuitionistic Anti- Fuzzy Ideal With Respect to an Element of a Ring
by: Showq Mohammed .E
Published: (2017-06-01)

On the Operation ∆ over Intuitionistic Fuzzy Sets
by: Lilija Atanassova, et al.
Published: (2021-06-01)

Intuitionistic Fuzzy Modal Multi-Topological Structures and Intuitionistic Fuzzy Multi-Modal Multi-Topological Structures
by: Krassimir Atanassov
Published: (2024-01-01)

On Intuitionistic Semi * Continuous Functions
by: G Esther Rathinakani, et al.
Published: (2022-12-01)

Translations of Intuitionistic Fuzzy B-algebras
by: Tapan Senapati
Published: (2015-12-01)