H Freund, P. Sorger: Aussagenlogik und beweisverfahren /
| Typ dokumentu: | Článek |
|---|---|
| Jazyk: |
čeština |
| ISSN: | 0373-6725 |
| Zdroj: | Aplikace matematiky: Ročník 21, číslo 2 (1976), strana 148-148. |
| Předmět: | |
| Související jednotky: | |
| Externí odkaz: |
Plný text
|