Asser, G. Einfuhrung in die Mathematische Logik [Text] : Teil 2. Pradikatenkalkül der ersten Stule / G. Asser. - Leipzig : Teubner, 1972. - 190 s. - (Mathematisch- Naturwirssenschaftliche Bibliothek; 19). - 2.10 тг.
Кл.слова (ненормированные): введение -- исчисление предикатов первого уровня Экземпляры всего: 1 ИЛ (1) Свободны: ИЛ (1) |