Logic and structure :: SCD d'Orléans

Logic and structure

Logic and structure

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Dalen, Dirk van, 1932-
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	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, Berlin, Springer-Verlag, 1980, 1 vol. (VII-172 p.), Universitext, 3-540-09893-3

Lignende værker

Logic and Structure
af: Dalen, Dirk van, 1932-

Logic and structure
af: Dalen, Dirk van, 1932-

Logic and Structure
af: Dalen, Dirk van, 1932-

Logic and Structure
af: Dalen, Dirk van, 1932-

The logic of information structures
af: Wansing, Heinrich, 1963-

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

L.E.J. Brouwer : topologist, intuitionist, philosopher : how mathematics is rooted in life
af: Dalen, Dirk van, 1932-
Udgivet: (2013)

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

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

Elementary logic
af: Quine, Willard Van Orman, 1908-2000, philosophe
Udgivet: (1965)

Dura logica, sed logica
af: Common, John
Udgivet: (2021)

Linear Logic and Intuitionistic Logic
af: Okada, Mitsuhiro
Udgivet: (2004)

Logica.
af: Paolo, Veneto, approximately 1370-1428
Udgivet: (2014)

Logica.
af: Augustin, 0354-0430, saint
Udgivet: (2014)

Logica.
af: Paolo, Veneto, approximately 1370-1428
Udgivet: (2014)

Dynamic Epistemic Logic
af: Ditmarsch, Hans van, 1959-...., mathématicien, et autres
Udgivet: (2008)

Handbook of epistemic logic
af: Ditmarsch, Hans van, 1959-...., mathématicien
Udgivet: (2015)

Copies of Classical Logic in Intuitionistic Logic
af: Gaspar, Jaime
Udgivet: (2015)

Recursive function theory and logic
af: Yasuhara, Ann Harris, 1932-2014
Udgivet: (1971)

‪Copies of Classical Logic in Intuitionistic Logic‪
af: Gaspar, Jaime
Udgivet: (2015)

Logic : an introduction
af: Restall, Greg, 1969-

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

Handbook of modal logic.
af: Blackburn, Patrick, 1959-, et autres
Udgivet: (2007)

Tableau Methods for Propositional Logic and Term Logic
af: Jarmużek, Tomasz
Udgivet: (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.
af: Friedland, Roger
Udgivet: (2013)

Trends in Logic : 50 Years of Studia Logica

Logics and languages
af: Cresswell, Maxwell John, 1939-
Udgivet: (1973)

Logic in linguistics
af: Allwood, Jens S., 1947-...., linguiste, et autres
Udgivet: (1977)

Combinatory logic.
af: Curry, Haskell Brooks, 1900-1982, et autres
Udgivet: (1972)

Computability and logic
af: Boolos, George, 1940-1996, et autres
Udgivet: (1974)

Modal logics
af: Feys, Robert, 1889-1961
Udgivet: (1965)

Notes on logic
af: Lyndon, Roger Conant, 1917-1988
Udgivet: (1966)

Logic for mathematicians
af: Rosser, John Barkley, 1907-1989
Udgivet: (1953)

Mathematical logic
af: Shoenfield, Joseph Robert, 1927-2000
Udgivet: (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