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

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Strongly Focused Calculus for Intuitionistic Logic -- Böhm Trees, Krivine’s Machine and the Taylor...”