An introduction to modal logic :: SCD d'Orléans

An introduction to modal logic

An introduction to modal logic

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Hughes, George Edward, 1918-, Cresswell, Maxwell John, 1939- (مؤلف)
التنسيق:	Livre papier
اللغة:	Anglais
منشور في:	London : Methuen and Co. 1968.
سلاسل:	University paperbacks 431
الموضوعات:	Modalité (logique) Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

مواد مشابهة

Modal logics
بواسطة: Feys, Robert, 1889-1961
منشور في: (1965)

Gentzen calculi for modal propositional logic
بواسطة: Poggiolesi, Francesca, 1980-

Modal logic
بواسطة: Blackburn, Patrick, 1959-, وآخرون
منشور في: (2001)

Specifying message passing and time-critical systems with temporal logic
بواسطة: Koymans, Ron, 1959-

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings
بواسطة: Dix, Jürgen, 1961-

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
بواسطة: Pearce, David William, 1941-...., professeur d'économie

A mathematical introduction to logic
بواسطة: Enderton, Herbert, 1936-2010
منشور في: (1972)

A concise introduction to mathematical logic
بواسطة: Rautenberg, Wolfgang, 1936-

Notes on logic
بواسطة: Lyndon, Roger Conant, 1917-1988
منشور في: (1966)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
بواسطة: Fisher, Michael

Introduction to mathematical logic.
بواسطة: Church, Alonzo, 1903-1995
منشور في: (1956)

Introduction to mathematical logic
بواسطة: Mendelson, Elliott, 1931-2020
منشور في: (1964)

An introduction to formal logic
بواسطة: Smith, Peter J, 1944-
منشور في: (2003)

An introduction to substructural logics
بواسطة: Restall, Greg, 1969-
منشور في: (2000)

Logic for mathematicians
بواسطة: Rosser, John Barkley, 1907-1989
منشور في: (1953)

Introduction to logic and to the methodology of deductive sciences
بواسطة: Tarski, Alfred, 1901-1983
منشور في: (1965)

Introduction to symbolic logic and its applications
بواسطة: Carnap, Rudolf, 1891-1970
منشور في: (1958)

Studia logica
منشور في: (2002)

Logique. Méthodes pour l'intelligence artificielle
بواسطة: Gochet, Paul, 1932-2011, وآخرون
منشور في: (2000)

Logic journal of the IGPL.
منشور في: (1997)

Mathematical logic
بواسطة: Shoenfield, Joseph Robert, 1927-2000
منشور في: (1967)

Elementary logic
بواسطة: Quine, Willard Van Orman, 1908-2000, philosophe
منشور في: (1965)

Logic and structure
بواسطة: Dalen, Dirk van, 1932-

The problem of inductive logic
منشور في: (1968)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
بواسطة: Loveland, Donald W., وآخرون
منشور في: (2014)

Handbook of mathematical logic
بواسطة: Barwise, Jon, 1942-2000, logicien
منشور في: (1977)

Foundations of mathematical logic
بواسطة: Curry, Haskell Brooks, 1900-1982
منشور في: (1963)

Elements of mathematical logic
بواسطة: Łukasiewicz, Jan, 1878-1956
منشور في: (1963)

The elements of mathematical logic
بواسطة: Rosenbloom, Paul C., 1920-2005
منشور في: (1950)

Elements of mathematical logic
بواسطة: Novikov, Petr Sergeevich, 1901-1975
منشور في: (1964)

Archive for mathematical logic.

Mathematical logic : a first course
بواسطة: Robbin, Joel W.
منشور في: (1969)

Mathematical problems from applied logic. logics for the XXIst Century

Mathematical Problems from Applied Logic. Logics for the XXIst Century
بواسطة: Gabbay, Dov M., 1945-

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
بواسطة: Carnielli, Walter Alexandre, 1952-, وآخرون

Elements of Logic via Numbers and Sets
بواسطة: Johnson, David Lawrence, 1943-2023, mathématicien

Journal of logic and computation.
منشور في: (1990)

The Journal of symbolic logic
منشور في: (1936)

The Journal of symbolic logic
منشور في: (1936)

The bulletin of symbolic logic
منشور في: (1995)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales