Imagen de Portada

Einführung in die Logistik vorzüglich in den Modalkalkül /

Guardado en:

Autor Principal:	Becker, Oskar, 1889-1964.
Formato:	Libro
Idioma:	German
Publicado:	Meisenheim : Westkulturverlag A. Hain, c1951.
Materias:	Logic, Symbolic and mathematical.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Einführung in die mathematische Logik: Klassische Prädikatenlogik.
por: Hermes, Hans.
Publicado: (1963)

Untersuchungen über den Modalkalkül /
por: Becker, Oskar, 1889-1964.
Publicado: (1952)

A course in mathematical logic /
por: Bell, J. L.
Publicado: (1977)

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

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

Advanced logic for applications /
por: Grandy, Richard E.
Publicado: (1977)

An introduction to modern logic : an elementary textbook of symbolic logic /
por: Halberstadt, William Harold, 1930-
Publicado: (1960)

Logic for mathematicians /
por: Hamilton, A. G., 1943-
Publicado: (1988)

Handbook of mathematical logic /
Publicado: (1977)

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

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

A course in mathematical logic /
por: Manin, IU. I.
Publicado: (1977)

Elementary logic /
por: Mates, Benson, 1919-
Publicado: (1965)

Mathematical problems from applied logic I : logics for the XXIst century /
Publicado: (2006)

Elements of mathematical logic /
por: Novikov, P. S.
Publicado: (1964)

Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs /
por: Porte, Jean.
Publicado: (1965)

The two-valued iterative systems of mathematical logic /
por: Post, Emil Leon, 1897-1954.
Publicado: (1941)

Logic for computer science /
por: Reeves, Steve, 1957-
Publicado: (1990)

Theory of logical calculi : basic theory of consequence operations /
por: Wójcicki, Ryszard.
Publicado: (1988)

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

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

Éléments de logique mathématique : théorie des modèles /
por: Kreisel, Georg.
Publicado: (1967)

Introduction to the foundations of mathematics /
por: Wilder, Raymond Louis, 1896-
Publicado: (1965)

The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /
por: Manna, Zohar.
Publicado: (1993)

The logical basis for computer programming /
por: Manna, Zohar.
Publicado: (1985)

m-M calculus /
por: Presic, Slavisa B.
Publicado: (1996)

Natural deduction : the logical basis of axiom systems /
por: Anderson, John Mueller.
Publicado: (1962)

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

Semantic construction of intuitionistic logic /
por: Beth, Evert Willem.
Publicado: (1956)

The cosmical knowledge and the human computer : excerpts and supplements /
por: Costescu, Ion.
Publicado: (1996)

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

A theory of sets /
por: Morse, Anthony P.
Publicado: (1965)

Algebraic methods of mathematical logic /
por: Rieger, Ladislav, 1916-1963.
Publicado: (1967)

A formalization of set theory without variables /
por: Tarski, Alfred.
Publicado: (1987)

Lattices to logic /
por: Dubisch, Roy, 1917-
Publicado: (1964)

On group-theoretic decision problems and their classification /
por: Miller, Charles F., 1941-
Publicado: (1971)

Propositional and Predicate Calculus A Model of Argument
por: Goldrei, Derek.
Publicado: (2005)

Mathematical Problems from Applied Logic II Logics for the XXIst Century /
por: Gabbay, Dov M.
Publicado: (2007)

Théorie des ensembles
por: Bourbaki, N.
Publicado: (2006)

Sets, logic, and categories /
por: Cameron, Peter J. 1947-
Publicado: (1999)