Schetnye bulevy algebry i razreshimostʹde S. S. GoncharovMateriasBoolean AlgebraDecidability (Mathematical logic)Ediciones (1)Schetnye bulevy algebry i razreshimostʹ (1996)Nauchnai͡a kniga · ruso · ISBN 9785881190040Más obras de S. S. GoncharovLLogicheskie metody v programmirovaniiLogicheskie metody v programmirovaniiLLogiko-matematicheskie osnovy problemy MOZLogiko-matematicheskie osnovy problemy MOZTTeorii︠a︡ algoritmov i ee prilozhenii︠a︡Teorii︠a︡ algoritmov i ee prilozhenii︠a︡
TTeorii︠a︡ vychislimosti i i︠a︡zyki spet︠s︡ifikat︠s︡iĭTeorii︠a︡ vychislimosti i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ
TTeorii︠a︡ vychisleniĭ i i︠a︡zyki spet︠s︡ifikat︠s︡iĭTeorii︠a︡ vychisleniĭ i i︠a︡zyki spet︠s︡ifikat︠s︡iĭ
