Unification types in logic /

Guardado en:

Autor Principal:	Dzik, Wojciech.
Formato:	Libro
Idioma:	English
Publicado:	Katowice : Wydawnictwo Uniwersytetu Slaskiego, 2007.
Series:	Prace naukowe Uniwersytetu Slaskiego w Katowicach, nr 2554
Materias:	Modality (Logic)
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Logics of time and computation /
por: Goldblatt, Robert.
Publicado: (1992)

Multi-dimensional modal logic /
por: Marx, Maarten.
Publicado: (1997)

First steps in modal logic /
por: Popkorn, Sally.
Publicado: (1994)

Handbook of modal logic /
Publicado: (2007)

Aristotle's modal syllogisms /
por: McCall, Storrs.
Publicado: (1963)

Partiality, modality, and nonmonotonicity /
Publicado: (1996)

Modal logic and process algebra : a bisimulation perspective /
Publicado: (1995)

¡Siempre adelante! /
por: Swett Marden, Orison.
Publicado: (1918)

Anaphora and Type Logical Grammar
por: JÄger, Gerhard.
Publicado: (2005)

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

Crónicas de un bionauta /
por: Montoya Gómez, Alvaro.
Publicado: (2016)

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)

Estudio de una dualidad topológica para semirretículos distributivos con operadores modales monótonos y sus aplicaciones /
Publicado: (2018)

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)

Modallogik und mehrwertigkeit, zur modernen deutung der aristotelischen logik /
por: Menne, Albert
Publicado: (1988)

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)

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

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 Modern Perspective on Type Theory From its Origins until Today /
por: Kamareddine, Fairouz.
Publicado: (2005)

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

Relations in dependent type theory /
por: Gonzalía, Carlos.
Publicado: (2006)

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

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

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

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

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