Computability and logic /

Código QR

Computability and logic /

Detalles Bibliográficos
Autor principal:	Boolos, George
Otros Autores:	Jeffrey, Richard
Formato:	Libro
Lenguaje:	English
Publicado:	Gran Bretaña : Cambridge University Press , 1980
Edición:	2a. ed.
Materias:	LOGICA LOGICA MATEMATICA

Ejemplares similares

The logical problem of induction /
por: Wright, George Henrik Von 1916-2003, et al.
Publicado: (1957)

The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)

Symbolic logic /
por: Copi, Irving M.
Publicado: (1979)

Introduction to logic /
por: Suppes Patrick
Publicado: (1957)

Natural logic
por: Tennant, Neil
Publicado: (1978)

An introduction to logic
por: Mitchell, David
Publicado: (1970)

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

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

Symbolic logic
por: Copi, Irving M
Publicado: (1954)

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

Advanced logic for applications
por: Grandy, Richard E.
Publicado: (1977)

Algebraic logic
por: Halmos, Paul R.
Publicado: (1962)

The logic of sociological explanation /
por: Boudon, Raymond
Publicado: (1974)

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

Symbolic logic and the game of logic /
por: Carroll, Lewis, 1832-1898
Publicado: (1958)

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

My best puzzles in logic and reasoning /
por: Phillips, Hubert,
Publicado: (1961)

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

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

Introduction to Logic / Irving M. Copi
por: Copi, Irving M.

Essential logic for computer science /
por: Page, Rex L. 1944-
Publicado: (2018)

Notes on logic
por: Lyndon, Roger C
Publicado: (1966)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

A concise introduction to mathematical logic /
por: Rautenberg, Wolfgang 1936-2011
Publicado: (2010)

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)

Logic machines and diagrams
por: Gardner, Martin
Publicado: (1958)

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

Introduction to Logic /
por: Copi, Irving M.
Publicado: (2002)

Introduction to Logic
por: Copi, Irving M.
Publicado: (1994)

Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974)

Symbolic logic : and, the game of logic
por: Carroll, Lewis 1832-1898
Publicado: (1968)

New Puzzles in Logical Deduction
por: Summers, George J.
Publicado: (1968)

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

A Survey of symbolic logic
por: Lewis, C. I.
Publicado: (1960)

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

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

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

Foundations of the logical theory of scientific knowledge (complex logic) /
por: Zinoviev, Aleksandr 1922-, et al.
Publicado: (1973)