Logic and Structure :: SCD d'Orléans

Logic and Structure

Logic and Structure

保存先:

書誌詳細
第一著者:	Dalen, Dirk van, 1932-
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic and structure, Dirk van Dalen, 3rd augm. ed., 1994, Berlin, Springer, 1 vol. (VIII-215 p.), Universitext, 0-387-57839-0

類似資料

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

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

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

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

The logic of information structures
著者:: Wansing, Heinrich, 1963-

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
著者:: Mycielski, Jan, 1932-2025

L.E.J. Brouwer : topologist, intuitionist, philosopher : how mathematics is rooted in life
著者:: Dalen, Dirk van, 1932-
出版事項: (2013)

Live data structures in logic programs : derivation by means of abstract interpretation
著者:: Mulkers, Anne, 19..-

Logics for concurrency : structure versus automata
著者:: Moller, Faron, 1962-...., informaticien

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

Dura logica, sed logica
著者:: Common, John
出版事項: (2021)

Linear Logic and Intuitionistic Logic
著者:: Okada, Mitsuhiro
出版事項: (2004)

Logica.
著者:: Paolo, Veneto, approximately 1370-1428
出版事項: (2014)

Logica.
著者:: Augustin, 0354-0430, saint
出版事項: (2014)

Logica.
著者:: Paolo, Veneto, approximately 1370-1428
出版事項: (2014)

Dynamic Epistemic Logic
著者:: Ditmarsch, Hans van, 1959-...., mathématicien, 等
出版事項: (2008)

Handbook of epistemic logic
著者:: Ditmarsch, Hans van, 1959-...., mathématicien
出版事項: (2015)

Copies of Classical Logic in Intuitionistic Logic
著者:: Gaspar, Jaime
出版事項: (2015)

Recursive function theory and logic
著者:: Yasuhara, Ann Harris, 1932-2014
出版事項: (1971)

‪Copies of Classical Logic in Intuitionistic Logic‪
著者:: Gaspar, Jaime
出版事項: (2015)

Logic : an introduction
著者:: Restall, Greg, 1969-

The Selected correspondence of L.E.J. Brouwer
著者:: von Dalen, Dirk

Handbook of modal logic.
著者:: Blackburn, Patrick, 1959-, 等
出版事項: (2007)

Tableau Methods for Propositional Logic and Term Logic
著者:: Jarmużek, Tomasz
出版事項: (2024)

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

Studia Logica: An International Journal for Symbolic Logic.

The Institutional logics Perspective: A new approach to culture, Structure, and Process.
著者:: Friedland, Roger
出版事項: (2013)

Trends in Logic : 50 Years of Studia Logica

Logics and languages
著者:: Cresswell, Maxwell John, 1939-
出版事項: (1973)

Logic in linguistics
著者:: Allwood, Jens S., 1947-...., linguiste, 等
出版事項: (1977)

Combinatory logic.
著者:: Curry, Haskell Brooks, 1900-1982, 等
出版事項: (1972)

Computability and logic
著者:: Boolos, George, 1940-1996, 等
出版事項: (1974)

Modal logics
著者:: Feys, Robert, 1889-1961
出版事項: (1965)

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

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

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

© 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