Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów
Keywords:
logic, predicate calculus, truth-table decision procedure
Published
2020-10-13
Issue
Section
Discussions
Copyright (c) 2001 Roczniki Filozoficzne
![Creative Commons License](http://i.creativecommons.org/l/by-nc-nd/4.0/88x31.png)
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.