Cumulative Higher-Order Logic as a Foundation for Set Theory

by Wolfgang Degen , Jan Johannsen

Citations:

1 - 1 self

2	Degen : Two formal vindications of logicism in – J W - 1993
1	Degen : Systeme der kumulativen Logik – J W - 1983
1	Degen : Complete infinitary type logics, Studia Logica 63 – J W - 1999
1	Frege : Grundgesetze der Arithmetik Jena – G - 1893
1	Hodes : Where do sets come from – H T - 1991