Алгорифм доказательста теорем в одном классе формул исчисления предикатов
Э. ОрловскаVolume:
25
Année:
1969
Pages:
1
Journal:
Studia Logica
DOI:
10.1007/bf02297267
Fichier:
PDF, 32 KB
1969