Search alternatives:
"intuitionistic logic" » "intuitionistic fuzzy"
Cover Image
Read Now

1
by Dalen, Dirk van
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- 4. Second Order Logic -- 5. Intuitionistic Logic -- 6. Normalisation...”
Cover Image
Read Now

2
by Dalen, Dirk van
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... -- 4. Second-Order Logic -- 5. Intuitionistic Logic -- 6. Appendix -- 7. Bibliography -- 8. Gothic...”
Cover Image
Read Now

3
by Dalen, Dirk van
Published 1980
Springer Berlin Heidelberg
“... of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...-by-name and the logic of values -- On Cartesian monoids -- New intuitionistic logical constants...”