-
12A direct proof of the finite developments theoremJournal of Symbolic Logic 50 (2): 339-343. 1985.
-
10A direct proof of the finite developments theoremJournal of Symbolic Logic 50 (2): 339-343. 1985.
Amsterdam, North Holland, Netherlands
Areas of Specialization
Science, Logic, and Mathematics |
Areas of Interest
Science, Logic, and Mathematics |