Tác giả: Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme
Ngôn ngữ:
ISBN-13: 978-3319663968
Ký hiệu phân loại: 005.131 Symbolic logic (Mathematical logic)
Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2017.
Mô tả vật lý: XX, 263 p. 55 illus. , online resource.
Bộ sưu tập: Tài liệu truy cập mở
ID: 329818 Tạo mục trích dẫn