Logiques construites par une methode de deduction naturelle.

Saved in:
Bibliographic Details
Main Author: Dopp, Joseph
Format: Book
Language:English
Published: Louvain : E. Nauwelaerts, 1962.
Series:Collection de logique mathematique. Ser. B
Subjects:
LEADER 00875nam a2200217 i 4500
001 c000026878
003 CARM
005 00000000000000.0
008 850318s1962 be 0 eng d
019 1 |a 9250390  |z 57737359  |5 LACONCORD2021 
035 |a (OCoLC)6860767  |5 LACONCORD2021 
100 1 |a Dopp, Joseph. 
245 1 0 |a Logiques construites par une methode de deduction naturelle. 
260 |a Louvain :  |b E. Nauwelaerts,  |c 1962. 
300 |a 191 p. 
490 0 |a Collection de logique mathematique. Ser. B 
500 |a "Publie avec le concours de la Fondation universitaire de Belgique.". 
650 0 |a Logic, Symbolic and mathematical. 
852 8 |b CARM  |h A2:AE01D0  |i C00361  |p 0018215  |f BK 
999 f f |i d79d773c-a129-52ef-9779-49362ce9d140  |s 6145b042-b3ce-59dc-b165-19b44fd0ec46 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C00361  |f A2:AE01D0  |h Other scheme  |i book  |m 0018215