the doctrine of predicative judgment



تاربرگ‌های پیموده‌شده در این نشست: logical truth Formal System integration Clifford Stein natural number assertoric