Mathematical foundations of programming

Código QR

Mathematical foundations of programming

Detalles Bibliográficos
Autor principal:	Beckman, Frank S
Formato:	Libro
Lenguaje:	English
Publicado:	Readding Addisson-Wesley 1980
Colección:	( Systems Programming )
Materias:	LOGICA MATEMATICA LENGUAJES FORMALES

Ejemplares similares

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

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

Teoría de la computación lenguajes formales, autómatas y complejidad
por: Brookshear, J. Glenn
Publicado: (1999)

Expresiones regulares /
por: René Mroz, Alicia, et al.
Publicado: (1991)

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

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

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

Foundations of mathematics
por: Hatcher, William S., et al.
Publicado: (1968)

Mathematical logic and foundations of set theory proceedings of an international colloquium
Publicado: (1970)

The Foundations of intuitionistic mathematics; especially in relation to recursive functions
por: Kleene, Stephen Cole
Publicado: (1965)

Organic and inorganic logic and the foundations of mathematics
por: Lintz, R. G., et al.
Publicado: (1974)

Foundations of mathematical programming /
por: Claycombe, W. W. 1943-, et al.
Publicado: (1975)

Lógica simbólica para informáticos
por: Iranzo, Pascual Julian
Publicado: (2005)

Foundations of logic and mathematics
por: Carnap, Rudolf 1891 - 1970, et al.
Publicado: (1957)

Introducción a la lógica formal
por: Nuñez Tenorio, J. R
Publicado: (1967)

Elements of logic and foundations of mathematics in problems /
por: Marek, Wiktor, et al.
Publicado: (1982)

Introducción a la lógica /
por: Cohen, Morris Raphael, 1880-1947
Publicado: (1992)

Introducción a la lógica /
por: Cohen, Morris Raphael, 1880-1947
Publicado: (1992)

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israel Academy of Sciences an Humanities, Jerusalem, 11-14 november, 1968.
por: Bar, Hillel Yehoshua, et al.
Publicado: (1970)

Grammars for programming languages
por: Cleaveland, J. Craig
Publicado: (1977)

Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 /
por: Mostowski, Andrzej, et al.
Publicado: (1966)

Introducción a la Lógica Formal
por: Deaño, Alfredo
Publicado: (1978)

Lógica formal, lógica dialéctica /
por: Lefebvre, Henri
Publicado: (2009)

Grammars for programming languages /
por: Cleaveland, Craig C., et al.
Publicado: (1977)

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

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

Logic, foundations of mathematics, and computability theory
Publicado: (1975)

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

Introducción a la lógica moderna
por: Stebbing, L. Susan
Publicado: (1965)

Automata, languages and programming : proceedings of a symposiun organized by IRIA Institud de Recherche d' Informatique et d' automatique, 78-Rocquencourt, France /
por: Nivat, M., et al.
Publicado: (1973)

Matemáticas para la computación
por: Jiménez Murillo, José Alfredo

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

A concise introduction to languages and machines /
por: Parkes, Alan P. 1955-
Publicado: (2008)

Teoría de autómatas y lenguajes formales
Publicado: (2001)

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

Mathematical interpretation of formal systems
Publicado: (1955)

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

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

Modern mathematics : an introduction /
por: Altwerger, Samuel I.
Publicado: (1960)

Lenguajes formales y teoría de la computación
por: Martín, John
Publicado: (2004)