Logiques construites par une methode de deduction naturelle.
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | English |
| Izdano: |
Louvain :
E. Nauwelaerts,
1962.
|
| Serija: | Collection de logique mathematique. Ser. B
|
| Teme: |
CARM 1 Store
| Signatura: |
A2:AE01D0 C00361 |
|---|---|
| Kopija 1 | Prosto Rezerviraj |