 |
| Russian | English |
| основная литера | ground literal (See "Symbolic logic and mechanical theorem proving" by Chang C.-L., Lee R.C.-T. (1973) ssn) |
|
| Russian | English |
| основная литера | ground literal (See "Symbolic logic and mechanical theorem proving" by Chang C.-L., Lee R.C.-T. (1973) ssn) |