Skip to main content Skip to main navigation menu Skip to site footer

Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów

Marek Lechniak Catholic University of Lublin, Faculty of Philosophy

Keywords: logic, predicate calculus, truth-table decision procedure

pdf (Język Polski)

Published

2020-10-13

Issue

Vol 49 No 1 (2001)

Section

Discussions

Copyright (c) 2001 Roczniki Filozoficzne

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.