Mathematical Logic and Computability /

Guardat en:

Dades bibliogràfiques
Autor principal:	Keisler, H. Jerome
Altres autors:	Robbin, Joel
Format:	Sách giấy
Idioma:	English
Publicat:	Singapore : McGraw-Hill, 1996
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

Logic for mathematics and computer sicence
per: Burris, Stanley N.
Publicat: (1998)

Mathematical logic for computer science.
per: Lu Zhungwan
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Logic and discrete mathematics
per: Winfried Karl Grassmann
Publicat: (1996)

Computability and logic
per: Boolos, George
Publicat: (2002)

A Problem Course in Mathematical Logic
per: Bilaniuk, Stefan
Publicat: (2010)

Petr Hájek on Mathematical Fuzzy Logic
per: Montagna, Franco
Publicat: (2015)

Mathematical Logic. 1st ed.
per: Kossak, Roman
Publicat: (2020)

Logic, Language, and Computation
Publicat: (2020)

Language, Logic, and Computation
per: Silva, Alexandra, et al.
Publicat: (2020)

Computer Science Logic
Publicat: (2020)

Logic, Language, and Computation
Publicat: (2020)

Logic, Language, and Computation
per: Bezhanishvili, G, et al.
Publicat: (2015)

Infinity in Logic and Computation
Publicat: (2020)

Logic for computer scientists
per: Uwe Schoning
Publicat: (1989)

Computer graphics through key mathematics /
per: Jones, H.
Publicat: (2001)

Computer algebra recipes for mathematical physics
per: Enns, Richard H
Publicat: (2014)

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

Introduction to logic and computer design
per: Alan B. Marcovitz
Publicat: (2008)

Computer architecture and logic design /
per: Bartee, Thomas C.
Publicat: (1991)

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

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

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

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

Logic, Language, Information and Computation
per: Leivant, Daniel, et al.
Publicat: (2020)

Logical Foundations of Computer Science
per: Artemov, Sergei, et al.
Publicat: (2020)

Computer mathematics.
Publicat: (2003)

Mathematics and Computing
per: Ghosh, Debdas, et al.
Publicat: (2020)

Mathematics in Computing
per: O’Regan, Gerard
Publicat: (2020)

Computer Mathematics
Publicat: (2020)

Computer Methods for Mathematical Computations
per: Không rõ
Publicat: (1977)

Arithmetic and logic in computer systems
per: Lu, Mi
Publicat: (2004)

Introduction to logic and computer design
per: Marcovitz, Alan B.
Publicat: (2008)

Introduction to logic and computer design
per: Marcovitz, Alan B.
Publicat: (2008)

Introduction to Logic and Computer Design /
per: Marcovitz Alan B
Publicat: (2007)

Introduction to logic and computer design
per: Marcovitz, Alan B
Publicat: (2008)

Introduction to logic and computer design
per: Marcovitz, Alan B
Publicat: (2008)

Logic and computer design fundamentals
per: Mano, M. Morris
Publicat: (2016)

Computational mathematics :
per: White, Robert E.
Publicat: (2004)