Sistemas formales. /

Guardado en:

Autor Principal:	Lungarzo, Carlos A.
Formato:	Libro
Idioma:	Spanish
Publicado:	Buenos Aires : Universidad, 1971.
Series:	Cuadernos de lógica, 20
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formal logic /
por: Prior, A. N. 1914-1969.
Publicado: (1955)

Formal languages /
por: Salomaa, Arto.
Publicado: (1973)

Formal logic /
por: Lorenzen, Paul, 1915-1994.
Publicado: (1965)

Formale Logik.
por: Lorenzen, Paul, 1915-1994.
Publicado: (1962)

Modern Formal Methods and Applications
por: Gabbar, Hossam A.
Publicado: (2006)

Introduction to formal language theory /
por: Harrison, Michael A.
Publicado: (1978)

Aspectos criticos del metodo dialectico /
por: Lungarzo, Carlos
Publicado: (1970)

Herramientas para el aprendizaje formal y no-formal : el enfoque de proyectos /
por: Vergara Ramírez, Juan José,
Publicado: (2018)

Thermodynamic formalism : the mathematical structures of equilibrium statistical mechanics /
por: Ruelle, David.
Publicado: (2004)

Las ciencias formales
Publicado: (2004)

Prueba formal de validez
Publicado: (2004)

Perspectivas de sintaxis formal /
Publicado: (2015)

Organización formal e informal
por: D'Ambrosio, Sergio E.
Publicado: (2009)

Fundamentos de sintaxis formal /
por: Bosque, Ignacio, 1951-
Publicado: (2020)

Stroh Formalism and Rayleigh Waves
por: Tanuma, Kazumi.
Publicado: (2007)

Formal Modelling in Electronic Commerce
por: Kimbrough, Steven O.
Publicado: (2005)

Formal Ontology and Conceptual Realism
por: Cocchiarella, Nino B.
Publicado: (2007)

Ancient formal logic /
por: Bochenski, I. M.
Publicado: (1957)

Formal systems and recursive functions. /
por: Crossley, J. N.
Publicado: (1965)

Catalina no es formal /
por: Paso, Alfonso
Publicado: (1963)

A history of formal logic /
por: Bochenski, I. M.
Publicado: (1961)

Formal development of programs and proofs /
Publicado: (1990)

Automata and formal languages : an introduction /
por: Kelley, Dean.
Publicado: (1995)

Formalizing common sense : papers /
por: McCarthy, John, 1927-
Publicado: (1990)

Understanding formal methods /
por: Monin, Jean François, 1960-
Publicado: (2003)

Scalable techniques for formal verification /
por: Ray, Sandip.
Publicado: (2010)

Formal methods in computing /
Publicado: (2005)

Teaching and Learning Formal Methods /
por: C. Neville Dean.
Publicado: (1996)

Jewels of formal language theory /
por: Salomaa, Arto.
Publicado: (1981)

Mathematical interpretation of formal systems /
Publicado: (1955)

A primer of formal logic /
por: Cooley, John C.
Publicado: (1942)

Theory of formal systems /
por: Smullyan, Raymond M.
Publicado: (1961)

Computer programming and formal systems /
Publicado: (1963)

A theory of formal deducibility /
por: Curry, Haskell B. 1900-
Publicado: (1966)

Formal languages and their relation to automata /
por: Hopcroft, John E., 1939-
Publicado: (1969)

Formal semantics of programming languages /
Publicado: (1972)

Semantic entailment and formal derivability /
por: Beth, Evert Willem.
Publicado: (1955)

Ancient formal logic /
por: Bochenski, Joseph M., 1902-
Publicado: (1951)

A theory of formal deducibility /
por: Curry, Haskell B. 1900-
Publicado: (1950)

The formal theory of differential equations /
por: Chrastina, Jan.
Publicado: (1998)