Imagen de Portada

Formal logic /

Guardado en:

Autor Principal:	Prior, A. N. 1914-1969.
Formato:	Libro
Idioma:	English
Publicado:	Oxford : Clarendon Press, 1955.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes /
por: Dutilh Novaes, Catarina.
Publicado: (2007)

Logic : techniques of formal reasoning /
por: Kalish, Donald.
Publicado: (1964)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert Willem.
Publicado: (1962)

Sistemas formales. /
por: Lungarzo, Carlos A.
Publicado: (1971)

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

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

Logic programming : formal methods and practical applications /
Publicado: (1995)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
por: Bollig, Benedikt.
Publicado: (2006)

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

Logic, logic, and logic /
por: Boolos, George.
Publicado: (1998)

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

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

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

Mathematical interpretation of formal systems /
Publicado: (1955)

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

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)

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)

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

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

Formal semantics of programming languages /
Publicado: (1972)

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

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

Formal groups and differential equations /
Publicado: (1989)

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 systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /
Publicado: (1965)

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