Imagen de Portada

A primer of formal logic /

Guardado en:

Autor Principal:	Cooley, John C.
Formato:	Libro
Idioma:	English
Publicado:	New York : Macmillan, 1942.
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 logic /
por: Lorenzen, Paul, 1915-1994.
Publicado: (1965)

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

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

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

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)

Substructural logics : a primer /
por: Paoli, Francesco.
Publicado: (2002)

Formal specification of programming languages : a panoramic primer /
por: Pagan, Frank G.
Publicado: (1981)

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

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

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

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

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

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

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

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
por: Fitzgerald, John.
Publicado: (2005)

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

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

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

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

A Roadmap for Formal Property Verification
por: DasGupta, Pallab.
Publicado: (2006)

Towards a formal description of Ada /
Publicado: (1980)

Formal english grammar as a discipline /
por: Briggs, Thomas H.
Publicado: (1913)

The essence of logic /
por: Kelly, John J.
Publicado: (1997)

Meta-logics and logic programming /
Publicado: (1995)

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996)

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)

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

Logic /
por: Hodges, Wilfrid
Publicado: (1977)

A primer of quantum chemistry. /
por: Goodrich, F. C.
Publicado: (1982)

Logic : a brief course /
por: Mundici, Daniele, 1946-
Publicado: (2012)

Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /
Publicado: (1965)

Essence of logic /
por: Kelly, John J. 1940 Nov. 23-1995.
Publicado: (1997)

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)

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