RecordNumber

10316

Author

Dopp, J.

Title

Logiques construties par une methode de deduction naturelle

Publication

E. Nauwelaerts

Publication Year

1962

Collation

191p

Series

Collection de logique mathematique, series B.

Subject

Logic Symbolic and mathematical

Main Class

510

Sub Class

.1

Cutter no

D692f

وارد كنندة اطلاعات

bahrami 1106^d//