Cover Image
Read Now

1
Published 1997
Springer Netherlands
Table of Contents: “... bounds in propositional logic -- On bounded set theory -- Section 2 Model theory, set theory and formal...”
Cover Image
Read Now

2
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

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