Annals of pure and applied logic :: SCD d'Orléans

Annals of pure and applied logic

Annals of pure and applied logic

Guardat en:

Dades bibliogràfiques
Títol anterior:	Annals of mathematical logic (Online)
Autor corporatiu:	Association for symbolic logic (Director editorial), Elsevier. North-Holland (Director editorial)
Format:	Revue numérique
Idioma:	Anglais
Publicat:	[S.l.] : Elsevier Science 199.-.
Matèries:	Logique symbolique et mathématique Périodique
Accés en línia:	Accès sur la plateforme de l'éditeur : Elsevier Accès sur la plateforme ISTEX : Elsevier Accès Université d'Orléans et IFPM Accès INSA CVL
Nota:	Consultation de la ressource (2011-12-13) Articles mis en ligne sur la base de données Science-Direct Elsevier (Licence nationale) Elsevier (Licence nationale) The Keepers Registry Type of computer file: Articles en texte intégral au format PDF
Autres localisations:	Voir dans le Sudoc
État de collection:	Revue électronique, (1995) - (2001)180339901, (1995) - (2001)
Edition sous un autre format:	• Annals of pure and applied logic (Print), 0168-0072

Ítems similars

Mathematical problems from applied logic. logics for the XXIst Century

Mathematical Problems from Applied Logic. Logics for the XXIst Century
per: Gabbay, Dov M., 1945-

Studia logica
Publicat: (2002)

Logic journal of the IGPL.
Publicat: (1997)

The Journal of symbolic logic
Publicat: (1936)

The Journal of symbolic logic
Publicat: (1936)

The bulletin of symbolic logic
Publicat: (1995)

Journal of logic and computation.
Publicat: (1990)

Notes on logic
per: Lyndon, Roger Conant, 1917-1988
Publicat: (1966)

Modal logics
per: Feys, Robert, 1889-1961
Publicat: (1965)

Logic for mathematicians
per: Rosser, John Barkley, 1907-1989
Publicat: (1953)

Mathematical logic
per: Shoenfield, Joseph Robert, 1927-2000
Publicat: (1967)

Elementary logic
per: Quine, Willard Van Orman, 1908-2000, philosophe
Publicat: (1965)

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

An introduction to modal logic
per: Hughes, George Edward, 1918-, et al.
Publicat: (1968)

Handbook of mathematical logic
per: Barwise, Jon, 1942-2000, logicien
Publicat: (1977)

Introduction to mathematical logic.
per: Church, Alonzo, 1903-1995
Publicat: (1956)

Foundations of mathematical logic
per: Curry, Haskell Brooks, 1900-1982
Publicat: (1963)

Elements of mathematical logic
per: Łukasiewicz, Jan, 1878-1956
Publicat: (1963)

Introduction to mathematical logic
per: Mendelson, Elliott, 1931-2020
Publicat: (1964)

The elements of mathematical logic
per: Rosenbloom, Paul C., 1920-2005
Publicat: (1950)

Elements of mathematical logic
per: Novikov, Petr Sergeevich, 1901-1975
Publicat: (1964)

Archive for mathematical logic.

An introduction to formal logic
per: Smith, Peter J, 1944-
Publicat: (2003)

An introduction to substructural logics
per: Restall, Greg, 1969-
Publicat: (2000)

Mathematical logic : a first course
per: Robbin, Joel W.
Publicat: (1969)

A mathematical introduction to logic
per: Enderton, Herbert, 1936-2010
Publicat: (1972)

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

The problem of inductive logic
Publicat: (1968)

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

Logica Universalis : Towards a General Theory of Logic
per: Beziau, Jean-Yves

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

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

Introduction to logic and to the methodology of deductive sciences
per: Tarski, Alfred, 1901-1983
Publicat: (1965)

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

Introduction to symbolic logic and its applications
per: Carnap, Rudolf, 1891-1970
Publicat: (1958)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
per: Loveland, Donald W., et al.
Publicat: (2014)

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Publicat: (1968)

Mathematical logic and the foundations of mathematics : an introductory survey
per: Kneebone, G. T.
Publicat: (1963)

Set theory and logic
per: Fraenkel, Abraham Adolf, 1891-1965
Publicat: (1966)

© 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