Modal logics :: SCD d'Orléans

Modal logics

Modal logics

保存先:

書誌詳細
第一著者:	Feys, Robert, 1889-1961
その他の著者:	Dopp, Joseph, 1901-1978 (編集者)
フォーマット:	Livre papier
言語:	Anglais
出版事項:	Louvain : Paris : E. Nauwelaerts, éditeur ; Gauthier-Villars, éditeur 1965.
シリーズ:	Collection de logique mathematique. Série B IV
主題:	Logique symbolique et mathématique Modalité (logique) Logique mathématique non classique
Autres localisations:	Voir dans le Sudoc

類似資料

An introduction to modal logic
著者:: Hughes, George Edward, 1918-, 等
出版事項: (1968)

Gentzen calculi for modal propositional logic
著者:: Poggiolesi, Francesca, 1980-

Specifying message passing and time-critical systems with temporal logic
著者:: Koymans, Ron, 1959-

Modal logic
著者:: Blackburn, Patrick, 1959-, 等
出版事項: (2001)

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings
著者:: Dix, Jürgen, 1961-

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
著者:: Eijck, Jan van, informaticien

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
著者:: Pearce, David William, 1941-...., professeur d'économie

Introduction à la logique
著者:: Delessert, André, 1923-2010
出版事項: (1988)

Logique mathématique
著者:: Kleene, Stephen Cole, 1909-1994
出版事項: (1971)

Logiques non monotones et intelligence artificielle
著者:: Grégoire, Eric
出版事項: (1990)

Notes on logic
著者:: Lyndon, Roger Conant, 1917-1988
出版事項: (1966)

A mathematical introduction to logic
著者:: Enderton, Herbert, 1936-2010
出版事項: (1972)

Logique mathématique
著者:: Kleene, Stephen Cole, 1909-1994
出版事項: (1987)

Studia logica
出版事項: (2002)

A concise introduction to mathematical logic
著者:: Rautenberg, Wolfgang, 1936-

Logic journal of the IGPL.
出版事項: (1997)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
著者:: Fisher, Michael

Mathematical logic
著者:: Shoenfield, Joseph Robert, 1927-2000
出版事項: (1967)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
著者:: Loveland, Donald W., 等
出版事項: (2014)

Nonmonotonic logics : basic concepts, results, and techniques
著者:: Schlechta, Karl, 1948-

Logique. Méthodes pour l'intelligence artificielle
著者:: Gochet, Paul, 1932-2011, 等
出版事項: (2000)

The problem of inductive logic
出版事項: (1968)

Elementary logic
著者:: Quine, Willard Van Orman, 1908-2000, philosophe
出版事項: (1965)

Logic for mathematicians
著者:: Rosser, John Barkley, 1907-1989
出版事項: (1953)

Logic and structure
著者:: Dalen, Dirk van, 1932-

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
著者:: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
著者:: Baumgartner, Peter, 1953-

Handbook of mathematical logic
著者:: Barwise, Jon, 1942-2000, logicien
出版事項: (1977)

Introduction to mathematical logic.
著者:: Church, Alonzo, 1903-1995
出版事項: (1956)

Foundations of mathematical logic
著者:: Curry, Haskell Brooks, 1900-1982
出版事項: (1963)

Elements of mathematical logic
著者:: Łukasiewicz, Jan, 1878-1956
出版事項: (1963)

Introduction to mathematical logic
著者:: Mendelson, Elliott, 1931-2020
出版事項: (1964)

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.

An introduction to formal logic
著者:: Smith, Peter J, 1944-
出版事項: (2003)

An introduction to substructural logics
著者:: Restall, Greg, 1969-
出版事項: (2000)

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-

© 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