-
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//
-
Link To Document :
