Logic. Form and function. The mechanization of deductive reasoning /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Edinburgh :
University Press,
1979
|
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20220617195528.0 | ||
| 008 | 960303s1979 xxk e ||||||eng d | ||
| 035 | |a CVTIDW0937048 | ||
| 040 | |b slo |a CVTI SR | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk | ||
| 080 | |a 681.3.056 |2 UDC-MRF | ||
| 080 | |a 681.322.056 |2 UDC-MRF | ||
| 080 | |a 519.68:510 |2 UDC-MRF | ||
| 100 | 1 | |a Robinson, John Alan | |
| 242 | 1 | 0 | |a Logika. Forma a funkcia. Mechanizácia deduktívneho uvažovania |
| 245 | 1 | 0 | |a Logic. Form and function. The mechanization of deductive reasoning / |c John Alan Robinson |
| 260 | |a Edinburgh : |b University Press, |c 1979 | ||
| 300 | |a 6, 312 s. | ||
| 692 | |a AS MM | ||
| 910 | |b A424496 | ||
| 974 | |f Knihy | ||
| 992 | |a AMG | ||
| 999 | |c 104961 |d 104961 | ||