Բեռնվում է…
Term logic with choice operator /
Պահպանված է:
Հիմնական հեղինակ: | Hermes, Hans |
---|---|
Ձևաչափ: | Գիրք |
Լեզու: | English German |
Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1970.
|
Հրատարակություն: | 1st English ed. |
Շարք: | Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann
6 |
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
-
Logic and structure /
: Dalen, Dirk van, 1932-
Հրապարակվել է: (1980) -
Logic and structure /
: Dalen, Dirk van, 1932-
Հրապարակվել է: (1983) -
Mathematical logic /
: Monk, James Donald, 1930-
Հրապարակվել է: (1976) -
Symbolic logic : An introduction /
: Thomason, Richmond H.
Հրապարակվել է: (1970) -
Symbolic logic : An introduction /
: Thomason, Richmond H.
Հրապարակվել է: (1969)