Cover Image
Read Now

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... applications -- Markov's rule is admissible in the set theory with intuitionistic logic -- Bounded hyperset...”
Cover Image
Read Now

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...The mathematics of set predicates in Prolog -- Some connections between set theory and computer...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... an Elementary Sublanguage of Set Theory -- STRIP: Structural Sharing for Efficient Proof-Search -- RACER System...”