1. Deduction systems
Deduction systems / Rolf Socher-Ambrosius, Patricia Johann. New York : Springer, 1997c. xii, 206 s. Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
PRF | 0 | 0 | 0 | 1 | 0 | 0 |
Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
PRF | 0 | 0 | 0 | 1 | 0 | 0 |