Mathematical Logic and Computability /

Mã QR

Mathematical Logic and Computability /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Keisler, H. Jerome
Tác giả khác:	Robbin, Joel
Định dạng:	Sách giấy
Ngôn ngữ:	English
Được phát hành:	Singapore : McGraw-Hill, 1996
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Logic and discrete mathematics
Bỡi: Winfried Karl Grassmann
Được phát hành: (1996)

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

A Problem Course in Mathematical Logic
Bỡi: Bilaniuk, Stefan
Được phát hành: (2010)

Petr Hájek on Mathematical Fuzzy Logic
Bỡi: Montagna, Franco
Được phát hành: (2015)

Mathematical Logic. 1st ed.
Bỡi: Kossak, Roman
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Language, Logic, and Computation
Bỡi: Silva, Alexandra, et al.
Được phát hành: (2020)

Computer Science Logic
Được phát hành: (2020)

Logic, Language, and Computation
Được phát hành: (2020)

Logic, Language, and Computation
Bỡi: Bezhanishvili, G, et al.
Được phát hành: (2015)

Infinity in Logic and Computation
Được phát hành: (2020)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

Computer graphics through key mathematics /
Bỡi: Jones, H.
Được phát hành: (2001)

Computer algebra recipes for mathematical physics
Bỡi: Enns, Richard H
Được phát hành: (2014)

Philosophical and Mathematical Logic. 1st ed.
Bỡi: Swart, Harrie de
Được phát hành: (2020)

Introduction to logic and computer design
Bỡi: Alan B. Marcovitz
Được phát hành: (2008)

Computer architecture and logic design /
Bỡi: Bartee, Thomas C.
Được phát hành: (1991)

Deontic Logic in Computer Science
Bỡi: Meyden, Ron van der, et al.
Được phát hành: (2020)

Logic, Language, Information, and Computation
Bỡi: Moss, Lawrence S., et al.
Được phát hành: (2020)

Logic, Language, Information and Computation
Được phát hành: (2020)

Computation and Logic in the Real World
Bỡi: Cooper, Barry S., et al.
Được phát hành: (2020)

Logic, Language, Information and Computation
Bỡi: Leivant, Daniel, et al.
Được phát hành: (2020)

Logical Foundations of Computer Science
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

Computer mathematics.
Được phát hành: (2003)

Mathematics and Computing
Bỡi: Ghosh, Debdas, et al.
Được phát hành: (2020)

Mathematics in Computing
Bỡi: O’Regan, Gerard
Được phát hành: (2020)

Computer Mathematics
Được phát hành: (2020)

Arithmetic and logic in computer systems
Bỡi: Lu, Mi
Được phát hành: (2004)

Introduction to logic and computer design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2008)

Introduction to logic and computer design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2008)

Introduction to Logic and Computer Design /
Bỡi: Marcovitz Alan B
Được phát hành: (2007)

Introduction to logic and computer design
Bỡi: Marcovitz, Alan B
Được phát hành: (2008)

Introduction to logic and computer design
Bỡi: Marcovitz, Alan B
Được phát hành: (2008)

Logic and computer design fundamentals
Bỡi: Mano, M. Morris
Được phát hành: (2016)

Computer Methods for Mathematical Computations
Bỡi: Không rõ
Được phát hành: (1977)

Computational mathematics :
Bỡi: White, Robert E.
Được phát hành: (2004)