Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Dzhaparidze, Giorgie. 1991. “Predicate Provability Logic with Non-Modalized Quantifiers.”Studia Logica: An International Journal for Symbolic Logic 50: 149–160.