Mathematical Logic and Computability /

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Keisler, H. Jerome
Andre forfattere:	Robbin, Joel
Format:	Sách giấy
Sprog:	English
Udgivet:	Singapore : McGraw-Hill, 1996
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Logic for mathematics and computer sicence
af: Burris, Stanley N.
Udgivet: (1998)

Mathematical logic for computer science.
af: Lu Zhungwan
Udgivet: (1989)

Mathematical logic for computer science /
af: Lu, Zhongwan.
Udgivet: (1989)

Mathematical logic for computer science /
af: Lu, Zhongwan.
Udgivet: (1989)

Logic and discrete mathematics
af: Winfried Karl Grassmann
Udgivet: (1996)

Computability and logic
af: Boolos, George
Udgivet: (2002)

A Problem Course in Mathematical Logic
af: Bilaniuk, Stefan
Udgivet: (2010)

Petr Hájek on Mathematical Fuzzy Logic
af: Montagna, Franco
Udgivet: (2015)

Mathematical Logic. 1st ed.
af: Kossak, Roman
Udgivet: (2020)

Logic, Language, and Computation
Udgivet: (2020)

Language, Logic, and Computation
af: Silva, Alexandra, et al.
Udgivet: (2020)

Computer Science Logic
Udgivet: (2020)

Logic, Language, and Computation
Udgivet: (2020)

Logic, Language, and Computation
af: Bezhanishvili, G, et al.
Udgivet: (2015)

Infinity in Logic and Computation
Udgivet: (2020)

Logic for computer scientists
af: Uwe Schoning
Udgivet: (1989)

Computer graphics through key mathematics /
af: Jones, H.
Udgivet: (2001)

Computer algebra recipes for mathematical physics
af: Enns, Richard H
Udgivet: (2014)

Philosophical and Mathematical Logic. 1st ed.
af: Swart, Harrie de
Udgivet: (2020)

Introduction to logic and computer design
af: Alan B. Marcovitz
Udgivet: (2008)

Computer architecture and logic design /
af: Bartee, Thomas C.
Udgivet: (1991)

Deontic Logic in Computer Science
af: Meyden, Ron van der, et al.
Udgivet: (2020)

Logic, Language, Information, and Computation
af: Moss, Lawrence S., et al.
Udgivet: (2020)

Logic, Language, Information and Computation
Udgivet: (2020)

Computation and Logic in the Real World
af: Cooper, Barry S., et al.
Udgivet: (2020)

Logic, Language, Information and Computation
af: Leivant, Daniel, et al.
Udgivet: (2020)

Logical Foundations of Computer Science
af: Artemov, Sergei, et al.
Udgivet: (2020)

Computer mathematics.
Udgivet: (2003)

Mathematics and Computing
af: Ghosh, Debdas, et al.
Udgivet: (2020)

Mathematics in Computing
af: O’Regan, Gerard
Udgivet: (2020)

Computer Mathematics
Udgivet: (2020)

Arithmetic and logic in computer systems
af: Lu, Mi
Udgivet: (2004)

Introduction to logic and computer design
af: Marcovitz, Alan B.
Udgivet: (2008)

Introduction to logic and computer design
af: Marcovitz, Alan B.
Udgivet: (2008)

Introduction to Logic and Computer Design /
af: Marcovitz Alan B
Udgivet: (2007)

Introduction to logic and computer design
af: Marcovitz, Alan B
Udgivet: (2008)

Introduction to logic and computer design
af: Marcovitz, Alan B
Udgivet: (2008)

Logic and computer design fundamentals
af: Mano, M. Morris
Udgivet: (2016)

Computer Methods for Mathematical Computations
af: Không rõ
Udgivet: (1977)

Computational mathematics :
af: White, Robert E.
Udgivet: (2004)