Logiques construites par une methode de deduction naturelle.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Louvain :
E. Nauwelaerts,
1962.
|
| Series: | Collection de logique mathematique. Ser. B
|
| Subjects: |
CARM 1 Store
| Call Number: |
A2:AE01D0 C00361 |
|---|---|
| Copy 1 | Available Place a Hold |