Tác giả: Łukasz Apiecionek, Jacek Czerniak, Dariusz Mikołajewski, Piotr Prokopowicz, Dominik Śļezak
Ngôn ngữ: eng
ISBN: 9783319596136 (print)ISBN-13: 978-3319596143
ISBN: 9783319596136 (print)
ISBN-13: 978-3319596143
Ký hiệu phân loại: 511.3223 Mathematical logic (Symbolic logic)
Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2017
Mô tả vật lý: XVIII, 322 p. 156 illus., 106 illus. in color. , online resource.
Bộ sưu tập: Tài liệu truy cập mở
ID: 117546 Tạo mục trích dẫn