Imagen de Portada

Ancient formal logic /

Guardado en:

Autor Principal:	Bochenski, Joseph M., 1902-
Formato:	Libro
Idioma:	English
Publicado:	Amsterdam : North-Holland, 1951.
Series:	Studies in logic and the foundations of mathematics
Materias:	Logic.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

Temporal logic : from ancient ideas to artificial intelligence /
por: Øhrstrøm, Peter.
Publicado: (1995)

Lógica y ontología /
por: Bochenski, Joseph M., 1902-
Publicado: (1977)

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

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

Applied logic /
por: Hansen, Kaj Børge.
Publicado: (1996)

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

Introduction to logic /
por: Packard, Dennis J.
Publicado: (1980)

Fundamentals of logic /
por: Smullyan, Arthur.
Publicado: (1962)

Reasoning and logic /
por: Angell, Richard B.
Publicado: (1964)

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

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

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

Essays in logic : from Aristotle to Russell /
Publicado: (1963)

Exploring logical dynamics /
por: Benthem, J. F. A. K. van, 1949-
Publicado: (1996)

Handbook of philosophical logic /
Publicado: (1983)

An introduction to default logic /
por: Besnard, Philippe.
Publicado: (1989)

Logic and its applications /
por: Burke, Edmund, Ph. D.
Publicado: (1996)

The semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (1995)

Handbook of logic in artificial intelligence and logic programming /
Publicado: (1993)

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

Prueba formal de validez
Publicado: (2004)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
por: Benthem, Johan.
Publicado: (2006)

Logic and objects /
por: McCabe, F. G. 1953-
Publicado: (1992)

Algebraic logic /
por: Gindikin, S. G.
Publicado: (1985)

Combinatory logic /
por: Curry, Haskell B. 1900-
Publicado: (1958)

Modal logic /
por: Blackburn, Patrick, 1959-
Publicado: (2001)

Algebraic logic.
por: Halmos, Paul R. 1916-2006.
Publicado: (1962)

The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning /
por: Boole, George, 1815-1864.
Publicado: (1948)

Modal logic an introduction /
por: Chellas, Brian F.
Publicado: (1980)

Lógica formal y argumentación como disciplinas complementarias /
por: Palau, Gladys,
Publicado: (2014)

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

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

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

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