-
RecordNumber
21435
-
Author
Hermes, Hans
-
Title
Term logic with choice operator
-
Author Statement
Hans Hermes
-
Publication
Springer
-
Publication Year
1970
-
Collation
55 p
-
Series
Lecture notes in mathematics; v.6
-
Notes
Rev and enl. translation of the first German ed
-
Bibliography
Bibliography: p. 53
-
Subject
Logic, Symbolic and mathematical
-
ADDED ENTRIES
^dSeries: Lecture notes in mathematics; v.6
-
Main Class
511
-
Sub Class
.3
-
Cutter no
H553t
-
وارد كنندة اطلاعات
soltani^d// , khodaei^d2003/08/25 08:58:52
-
Link To Document :
