Քո փնտրումը վերադարձրեց 4 արդյունք։

Տեսակավորում
Արդյունքներ
1.
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. կողմից
  • Ebbinghaus, Heinz-Dieter, 1939-
  • Flum, Jorg
  • Thomas, Wolfgang, 1947-
Մատենաշար։ Undergraduate texts in mathematics
Հրատարակություն։ 2nd ed.
Նյութի տեսակ։ Տեքստ Տեքստ
Լեզու: Անգլերեն
Հրատարակման մանրամասներ։ New York : Springer-Verlag, 1994
Հասանելիություն: Նյութերը մատչելի են որպես տեղեկատու: National Polytechnic University Library: In House (1)Դասիչ։ 511.3 E-14.
2.
Logic and structure / Dirk van Dalen. կողմից
  • Dalen, D. van (Dirk), 1932-
Մատենաշար։ Universitext
Հրատարակություն։ 3rd augm. ed.
Նյութի տեսակ։ Տեքստ Տեքստ
Լեզու: Անգլերեն
Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1994
Հասանելիություն: Նյութերը մատչելի են որպես տեղեկատու: National Polytechnic University Library: In House (1)Դասիչ։ 511.3 D-16.
3.
Zeitschrift für mathematische Logik und Grundlagen der Mathematik.
Նյութի տեսակ։ Շարունակական պաշար Շարունակական պաշար; Ձևաչափ: տպել ; Շարունակական պաշարի տեսակը: պարբերական
Լեզու: Գերմաներեն, Անգլերեն, ֆրանսերեն, Ռուսերեն
Հրատարակման մանրամասներ։ Berlin : Deutscher Verlag der Wissenschaften.
Այլ վերնագիր։
  • ZML
Հասանելիություն: Նյութերը մատչելի են որպես տեղեկատու: National Polytechnic University Library: In House (10)Դասիչ։ 51, ...
4.
Logic for problem solving / Robert Kowalski.; Edit. Nils J. Nilsson. կողմից
  • Kowalski, Robert
  • Nilsson, Nils J [edt]
Մատենաշար։ Artificial intelligence series | The Computer science library
Նյութի տեսակ։ Տեքստ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական
Լեզու: Անգլերեն
Հրատարակման մանրամասներ։ New York : Elsevier North Holland, 1979
Հասանելիություն: Նյութերը մատչելի են որպես տեղեկատու: National Polytechnic University Library: In House (1)Դասիչ։ 519.7 K-79.
Էջեր

Ուղեկցվում է Կոհա