Mathematical Logic and Computability /

QR Kodea

Mathematical Logic and Computability /

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Keisler, H. Jerome
Beste egile batzuk:	Robbin, Joel
Formatua:	Sách giấy
Hizkuntza:	English
Argitaratua:	Singapore : McGraw-Hill, 1996
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Logic for mathematics and computer sicence
nork: Burris, Stanley N.
Argitaratua: (1998)

Mathematical logic for computer science.
nork: Lu Zhungwan
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Logic and discrete mathematics
nork: Winfried Karl Grassmann
Argitaratua: (1996)

Computability and logic
nork: Boolos, George
Argitaratua: (2002)

A Problem Course in Mathematical Logic
nork: Bilaniuk, Stefan
Argitaratua: (2010)

Petr Hájek on Mathematical Fuzzy Logic
nork: Montagna, Franco
Argitaratua: (2015)

Mathematical Logic. 1st ed.
nork: Kossak, Roman
Argitaratua: (2020)

Logic, Language, and Computation
Argitaratua: (2020)

Language, Logic, and Computation
nork: Silva, Alexandra, et al.
Argitaratua: (2020)

Computer Science Logic
Argitaratua: (2020)

Logic, Language, and Computation
Argitaratua: (2020)

Logic, Language, and Computation
nork: Bezhanishvili, G, et al.
Argitaratua: (2015)

Infinity in Logic and Computation
Argitaratua: (2020)

Logic for computer scientists
nork: Uwe Schoning
Argitaratua: (1989)

Computer graphics through key mathematics /
nork: Jones, H.
Argitaratua: (2001)

Computer algebra recipes for mathematical physics
nork: Enns, Richard H
Argitaratua: (2014)

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

Introduction to logic and computer design
nork: Alan B. Marcovitz
Argitaratua: (2008)

Computer architecture and logic design /
nork: Bartee, Thomas C.
Argitaratua: (1991)

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

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

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

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

Logic, Language, Information and Computation
nork: Leivant, Daniel, et al.
Argitaratua: (2020)

Logical Foundations of Computer Science
nork: Artemov, Sergei, et al.
Argitaratua: (2020)

Computer mathematics.
Argitaratua: (2003)

Mathematics and Computing
nork: Ghosh, Debdas, et al.
Argitaratua: (2020)

Mathematics in Computing
nork: O’Regan, Gerard
Argitaratua: (2020)

Computer Mathematics
Argitaratua: (2020)

Computer Methods for Mathematical Computations
nork: Không rõ
Argitaratua: (1977)

Arithmetic and logic in computer systems
nork: Lu, Mi
Argitaratua: (2004)

Introduction to logic and computer design
nork: Marcovitz, Alan B.
Argitaratua: (2008)

Introduction to logic and computer design
nork: Marcovitz, Alan B.
Argitaratua: (2008)

Introduction to Logic and Computer Design /
nork: Marcovitz Alan B
Argitaratua: (2007)

Introduction to logic and computer design
nork: Marcovitz, Alan B
Argitaratua: (2008)

Introduction to logic and computer design
nork: Marcovitz, Alan B
Argitaratua: (2008)

Logic and computer design fundamentals
nork: Mano, M. Morris
Argitaratua: (2016)

Computational mathematics :
nork: White, Robert E.
Argitaratua: (2004)