Notes on logic :: SCD d'Orléans

Notes on logic

Notes on logic

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Lyndon, Roger Conant, 1917-1988
Fformat:	Livre papier
Iaith:	Anglais
Cyhoeddwyd:	Princeton (N.J.) ; Toronto ; London : D. Van Nostrand C 1966.
Cyfres:	Van Nostrand mathematical studies 6
Pynciau:	Logique Logique symbolique et mathématique
Nodyn:	Autre tirage : 1967
Autres localisations:	Voir dans le Sudoc

Eitemau Tebyg

Modal logics
gan: Feys, Robert, 1889-1961
Cyhoeddwyd: (1965)

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

Studia logica
Cyhoeddwyd: (2002)

A mathematical introduction to logic
gan: Enderton, Herbert, 1936-2010
Cyhoeddwyd: (1972)

Logic journal of the IGPL.
Cyhoeddwyd: (1997)

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

Logic for mathematicians
gan: Rosser, John Barkley, 1907-1989
Cyhoeddwyd: (1953)

Mathematical logic
gan: Shoenfield, Joseph Robert, 1927-2000
Cyhoeddwyd: (1967)

Elementary logic
gan: Quine, Willard Van Orman, 1908-2000, philosophe
Cyhoeddwyd: (1965)

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

The problem of inductive logic
Cyhoeddwyd: (1968)

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

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

Handbook of mathematical logic
gan: Barwise, Jon, 1942-2000, logicien
Cyhoeddwyd: (1977)

Introduction to mathematical logic.
gan: Church, Alonzo, 1903-1995
Cyhoeddwyd: (1956)

Foundations of mathematical logic
gan: Curry, Haskell Brooks, 1900-1982
Cyhoeddwyd: (1963)

Elements of mathematical logic
gan: Łukasiewicz, Jan, 1878-1956
Cyhoeddwyd: (1963)

Introduction to mathematical logic
gan: Mendelson, Elliott, 1931-2020
Cyhoeddwyd: (1964)

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

Elements of mathematical logic
gan: Novikov, Petr Sergeevich, 1901-1975
Cyhoeddwyd: (1964)

Archive for mathematical logic.

An introduction to formal logic
gan: Smith, Peter J, 1944-
Cyhoeddwyd: (2003)

An introduction to substructural logics
gan: Restall, Greg, 1969-
Cyhoeddwyd: (2000)

Mathematical logic : a first course
gan: Robbin, Joel W.
Cyhoeddwyd: (1969)

Mathematical problems from applied logic. logics for the XXIst Century

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

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

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

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

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

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

Journal of logic and computation.
Cyhoeddwyd: (1990)

The Journal of symbolic logic
Cyhoeddwyd: (1936)

The Journal of symbolic logic
Cyhoeddwyd: (1936)

The bulletin of symbolic logic
Cyhoeddwyd: (1995)

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

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

Annals of pure and applied logic

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

Foundations of inductive logic programming
gan: 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