An Argument for the Existence of God by Bolzano : a formalization with a Distinction between Menge and Inbegriff

Bulletin of the Section of Logic, Tom 43, Numer 3-4 (2014) s. 155-172
Kordula Świętorzecka