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//