Mathematical logic and theoretical computer science

Código QR

Mathematical logic and theoretical computer science

Detalles Bibliográficos
Autor principal:	Kueker, D.W
Otros Autores:	López-Escobar, Edgardo G. K. (Editor ), Smith, Carl H. (Editor )
Formato:	Libro
Lenguaje:	English
Publicado:	New York Dekker c1987
Colección:	(Lecture notes in pure and applied mathematics v.106)
Materias:	LOGICA MATEMATICA PROCESAMIENTO ELECTRONICO DE DATOS ALGEBRA

Ejemplares similares

Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 /
por: Homer, S., et al.
Publicado: (1964)

Discrete mathematics in computer science /
por: Stanat, Donald F., et al.
Publicado: (1977)

Computational mathematics worked examples and problems with elements
por: Kopchenova, N V
Publicado: (1975)

Discrete mathematical structures with applications to computer sciencie /
por: Tremblay, Jean Paul, et al.
Publicado: (1975)

Computability and logic /
por: Boolos, George
Publicado: (1980)

Infinitary logic : in memoriam Carol Karp.
por: Kueker, David W. 1934-, et al.
Publicado: (1964)

Mathematical logic /
por: Monk, James Donald, 1930-
Publicado: (1976)

Mathematical logic /
por: Quine, Willard Van Orman
Publicado: (1961)

An algebraic introduction to mathematical logic /
por: Barnes, Donald W., 1935-
Publicado: (1975)

Introduction to mathematical logic /
por: Hermes, Hans
Publicado: (1973)

Handbook of mathematical logic
por: Barwise, Jon
Publicado: (1977)

A Course in mathematical logic
por: Bell, John Lane
Publicado: (1977)

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

Mathematical logic
por: Monk, James Donald 1930-, et al.
Publicado: (1976)

Mathematical logic
por: Shoenfield, Joseph Robert 1927-, et al.
Publicado: (1967)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1951)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1981)

Mathematical logic
por: Klenne, Stephen Cole
Publicado: (1967)

A precis of mathematical logic /
por: Bochenski, J.M., 1902-
Publicado: (1959)

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

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

Foundations of mathematical logic
por: Curry, Haskell B.
Publicado: (1963)

Logic in elementary mathematics
por: Exner, Robert M.
Publicado: (1959)

Computers and mathematics /
por: Barwise, Jon
Publicado: (1989)

Mathematics and logic : retrospect and prospects /
por: Kac, Mark, et al.
Publicado: (1969)

Logic in Elementary Mathematics /
por: Exner, Robert M.
Publicado: (1959)

Logic in Elementary Mathematics /
por: Exner, Robert M.
Publicado: (1959)

Dictionary of simbols of mathematical logic
por: Feys, Robert
Publicado: (1969)

Discrete mathematics /
por: Johnsonbaugh, Richard 1941-, et al.
Publicado: (1993)

Discrete mathematics /
por: Johnsonbaugh, Richard 1941-, et al.
Publicado: (1986)

Recomendations of the undergraduate mathematics program for work in computing
Publicado: (1964)

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

Introduction to mathematical logic : set theory, computable functions, model theory /
por: Malitz, Jerome, et al.
Publicado: (1979)

Mathematical experiments on the computer /
por: Grenander, Ulf 1923-2016
Publicado: (1982)

A mathematical introduction to logic /
por: Enderton, Herbert B., 1936-2010,
Publicado: (2001)

Introduction to mathematical logic /
por: Mendelson, Elliott 1931-2020, et al.
Publicado: (1997)

Handbook of mathematical logic /
por: Barwise, Jon
Publicado: (1978)

The Elements of mathematical logic /
por: Rosenbloom, Paul C., et al.
Publicado: (1950)

Elements of mathematical logic.
por: Novikov, Petr Sergeevich, et al.
Publicado: (1964)

Foundations of mathematical logic /
por: Curry, Haskell Brooks n. 1900, et al.
Publicado: (1963)

Cannot write session to /tmp/vufind_sessions/sess_iqrq1m1g0fh4hpib10hoh92oio