Partager
Dernière mise à jour : 2026-05-25T05:17:01.761Z
A Resolution Principle for a Logic With Restricted Quantifiers - Hans-Jürgen Bürckert - Springer-Verlag Berlin and Heidelberg GmbH & Co. K | SuperScan