Studia logica :: SCD d'Orléans

Studia logica

Studia logica

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of algebra, model theory, proof theory, etc.). More specifically, Studia Logica invites articles on topics in general logic (as defined in 1991 Mathematical Subject Classific...

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Údair chorparáideacha:	Polska Akademia Nauk. Komitet Filozoficzny (Stiúrthóir foilseacháin), Instytut filozofii i socjologii (Údar), Polska Akademia Nauk. Instytut Filozofii i Sociologii (Stiúrthóir foilseacháin), Polish Academy of Sciences. Institute of Philosophy and Sociology (Stiúrthóir foilseacháin)
Formáid:	Revue numérique
Teanga:	Anglais
Foilsithe / Cruthaithe:	Dordrecht : Kluwer 2002-.
Ábhair:	Logique Logique symbolique et mathématique Philosophie Périodique
Rochtain ar líne:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme ISTEX (corpus Springer) Accès Université d'Orléans Accès INSA CVL
Nóta:	Revue en ligne sur la base de données JSTOR Articles mis en ligne par SpringerLink et JSTOR (à l'exception des 3 dernières années) Archives Springer périodiques (Licence nationale) Archives Springer périodiques (Licence nationale) The Keepers Registry
Autres localisations:	Voir dans le Sudoc
État de collection:	Revue électronique, (1953) - (2013)180339901, (1953) - (2013)
Edition sous un autre format:	• Studia logica, 0039-3215

Míreanna comhchosúla

Logic journal of the IGPL.
Foilsithe / Cruthaithe: (1997)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
de réir: Loveland, Donald W., et al.
Foilsithe / Cruthaithe: (2014)

The Journal of symbolic logic
Foilsithe / Cruthaithe: (1936)

The Journal of symbolic logic
Foilsithe / Cruthaithe: (1936)

The bulletin of symbolic logic
Foilsithe / Cruthaithe: (1995)

Annals of pure and applied logic

Notes on logic
de réir: Lyndon, Roger Conant, 1917-1988
Foilsithe / Cruthaithe: (1966)

Journal of logic and computation.
Foilsithe / Cruthaithe: (1990)

Modal logics
de réir: Feys, Robert, 1889-1961
Foilsithe / Cruthaithe: (1965)

An introduction to modal logic
de réir: Hughes, George Edward, 1918-, et al.
Foilsithe / Cruthaithe: (1968)

A mathematical introduction to logic
de réir: Enderton, Herbert, 1936-2010
Foilsithe / Cruthaithe: (1972)

A concise introduction to mathematical logic
de réir: Rautenberg, Wolfgang, 1936-

Logic for mathematicians
de réir: Rosser, John Barkley, 1907-1989
Foilsithe / Cruthaithe: (1953)

Mathematical logic
de réir: Shoenfield, Joseph Robert, 1927-2000
Foilsithe / Cruthaithe: (1967)

Elementary logic
de réir: Quine, Willard Van Orman, 1908-2000, philosophe
Foilsithe / Cruthaithe: (1965)

Logic and structure
de réir: Dalen, Dirk van, 1932-

The problem of inductive logic
Foilsithe / Cruthaithe: (1968)

Gentzen calculi for modal propositional logic
de réir: Poggiolesi, Francesca, 1980-

Handbook of mathematical logic
de réir: Barwise, Jon, 1942-2000, logicien
Foilsithe / Cruthaithe: (1977)

Introduction to mathematical logic.
de réir: Church, Alonzo, 1903-1995
Foilsithe / Cruthaithe: (1956)

Foundations of mathematical logic
de réir: Curry, Haskell Brooks, 1900-1982
Foilsithe / Cruthaithe: (1963)

Elements of mathematical logic
de réir: Łukasiewicz, Jan, 1878-1956
Foilsithe / Cruthaithe: (1963)

Introduction to mathematical logic
de réir: Mendelson, Elliott, 1931-2020
Foilsithe / Cruthaithe: (1964)

The elements of mathematical logic
de réir: Rosenbloom, Paul C., 1920-2005
Foilsithe / Cruthaithe: (1950)

Elements of mathematical logic
de réir: Novikov, Petr Sergeevich, 1901-1975
Foilsithe / Cruthaithe: (1964)

Archive for mathematical logic.

An introduction to formal logic
de réir: Smith, Peter J, 1944-
Foilsithe / Cruthaithe: (2003)

An introduction to substructural logics
de réir: Restall, Greg, 1969-
Foilsithe / Cruthaithe: (2000)

Mathematical logic : a first course
de réir: Robbin, Joel W.
Foilsithe / Cruthaithe: (1969)

Mathematical problems from applied logic. logics for the XXIst Century

Mathematical Problems from Applied Logic. Logics for the XXIst Century
de réir: Gabbay, Dov M., 1945-

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
de réir: Carnielli, Walter Alexandre, 1952-, et al.

Specifying message passing and time-critical systems with temporal logic
de réir: Koymans, Ron, 1959-

Introduction to logic and to the methodology of deductive sciences
de réir: Tarski, Alfred, 1901-1983
Foilsithe / Cruthaithe: (1965)

Elements of Logic via Numbers and Sets
de réir: Johnson, David Lawrence, 1943-2023, mathématicien

Introduction to symbolic logic and its applications
de réir: Carnap, Rudolf, 1891-1970
Foilsithe / Cruthaithe: (1958)

Logica Universalis : Towards a General Theory of Logic
de réir: Beziau, Jean-Yves

Logic Colloquium : Symposium on Logic Held at Boston, 1972 73

Logic colloquium : symposium on logic held at Boston, 1972-73
Foilsithe / Cruthaithe: (1975)

Foundations of inductive logic programming
de réir: Nienhuys-Cheng, Shan-Hwei, 1943-, et al.

© 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