Imagen de Portada

Formal logic /

Guardado en:

Autor Principal:	Lorenzen, Paul, 1915-1994.
Formato:	Libro
Idioma:	English German
Publicado:	Dordrecht : Reidel, 1965.
Series:	Synthese library
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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)

Metamathematik /
por: Lorenzen, Paul, 1915-1994.
Publicado: (1962)

Einführung in die operative Logik und Mathematik /
por: Lorenzen, Paul, 1915-1994.
Publicado: (1955)

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)

Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (1967)

Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (2002)

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

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

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

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

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

Logic of algebra /
por: Dienes, Paul.
Publicado: (1938)

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

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

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

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)

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)

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

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

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

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

Mathematical interpretation of formal systems /
Publicado: (1955)