Cargando…

Mathematical logic for computer science /

Detalles Bibliográficos
Autor principal:	Lu, Chung-wan
Formato:	Libro
Lenguaje:	English
Publicado:	Singapore ; Teaneck, N.J. : World Scientific, c1989.
Materias:	Procesamiento electrónico de datos. Lógica matemática.

Ejemplares similares

Discrete mathematics /
por: Biggs, Norman
Publicado: (1989)

Using computers in mathematics
por: Elgarten, Gerald H.
Publicado: (1983)

Semantics and logics of computation /
Publicado: (1997)

Concrete mathematics : a foundatión for computer science /
por: Graham, Ronald L.
Publicado: (1989)

What is mathematical logic
Publicado: (1990)

Handbook of mathematical logic
Publicado: (1977)

Course of mathematical logic
por: Fraíssé, Roland
Publicado: (1974)

Theoretical foundations of computer science /
por: Mandrioli, Dino
Publicado: (1987)

Handbook of logic in computer science /
Publicado: (1992)

First order mathematical logic /
por: Margaris, Angelo
Publicado: (1990)

Popular lectures on mathematical logic
por: Wang, Hao, 1921-
Publicado: (1993)

An outline of mathematical logic : fundamental results and notions explained with all details
por: Grzegorczyk, Andrzej
Publicado: (1974)

Discrete mathematics /
por: Hein, James L.
Publicado: (2003)

College mathematics : a graphing calculator approach /
por: Wheeler, Ruric E., 1923-
Publicado: (1996)

Feynman lectures on computation
por: Feynman, Richard P. (Richard Phillips), 1918-1988
Publicado: (1996)

Computing, a human activity /
por: Naur, Peter
Publicado: (1992)

Mathematical logic and the foundations of mathematics : an introductory survey /
por: Kneebone, G. T.
Publicado: (1963)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1997)

Foundations of mathematical logic
por: Curry, Haskell B. 1900-1982 (Haskell Brooks)
Publicado: (1977)

Introduction to elementary mathematical logic
por: Stolyar, Abram Aronovich
Publicado: (1983)

Mathematical explorations with MATLAB /
por: Chen, Ke, 1962-
Publicado: (1999)

The logical basis for computer programming
por: Manna, Zohar
Publicado: (1985)

Practical mathematics using MATLAB /
por: Backstrom, Gunnar
Publicado: (2000)

Logic with trees : an introduction to symbolic logic /
por: Howson, Colin
Publicado: (1997)

Computers /
por: Long, Larry E.
Publicado: (1999)

Logic in computer science : modelling and reasoning about systems /
por: Huth, Michael, 1962-
Publicado: (2004)

Computers at work
por: Clark, John O. E., 1937-
Publicado: (1973)

Intermediate logic
por: Bostock, David
Publicado: (1997)

The limits of logic : higher-order logic and the Löwenheim-Skolem theorem /
Publicado: (1996)

People-oriented computer systems; the computer in crisis
por: Tomeski, Edward Alexander
Publicado: (1975)

Computer science with Mathematica : theory and practice for science, mathematics, and engineering /
por: Maeder, Roman
Publicado: (2000)

Computing essentials : introductory 2010 /
por: O'Leary, Timothy J., 1947-
Publicado: (2010)

Computers and information systems
por: Gore, Marvin R.
Publicado: (1984)

Ciencia de la información
por: Jolley, J. L.
Publicado: (1968)

Guide to writing DCE applications /
por: Shirley, John
Publicado: (1994)

Aplicaciones bajo ambiente gráfico : computación /
por: Fournier, María de Lourdes
Publicado: (1998)

Procesamiento de datos : sistemas y conceptos
por: Verzello, Robert J.
Publicado: (1983)

Procesamiento de datos
por: Lipschutz, Martin M.
Publicado: (1982)

Computación : temas selectos
Publicado: (1992)

Discrete mathematical structures with applications to computer science /
por: Tremblay, Jean-Paul, 1938-
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_0ue4rm7kuf1juv4c67d0oc58ha