Logic for mathematicians :: SCD d'Orléans

Logic for mathematicians

Logic for mathematicians

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Rosser, John Barkley, 1907-1989
Médium:	Livre papier
Jazyk:	Anglais
Vydáno:	New York [etc.] : McGraw-Hill book company 1953.
Edice:	International series in pure and applied mathematics
Témata:	Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

The Axiom of Constructibility: A Guide for the Mathematician
Autor: Devlin, Keith J., 1947-

Notes on logic
Autor: Lyndon, Roger Conant, 1917-1988
Vydáno: (1966)

An introduction to modal logic
Autor: Hughes, George Edward, 1918-, a další
Vydáno: (1968)

Modal logics
Autor: Feys, Robert, 1889-1961
Vydáno: (1965)

Mathematical logic
Autor: Shoenfield, Joseph Robert, 1927-2000
Vydáno: (1967)

Elementary logic
Autor: Quine, Willard Van Orman, 1908-2000, philosophe
Vydáno: (1965)

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

Studia logica
Vydáno: (2002)

Handbook of mathematical logic
Autor: Barwise, Jon, 1942-2000, logicien
Vydáno: (1977)

Introduction to mathematical logic.
Autor: Church, Alonzo, 1903-1995
Vydáno: (1956)

Foundations of mathematical logic
Autor: Curry, Haskell Brooks, 1900-1982
Vydáno: (1963)

Elements of mathematical logic
Autor: Łukasiewicz, Jan, 1878-1956
Vydáno: (1963)

Introduction to mathematical logic
Autor: Mendelson, Elliott, 1931-2020
Vydáno: (1964)

The elements of mathematical logic
Autor: Rosenbloom, Paul C., 1920-2005
Vydáno: (1950)

Elements of mathematical logic
Autor: Novikov, Petr Sergeevich, 1901-1975
Vydáno: (1964)

Archive for mathematical logic.

An introduction to formal logic
Autor: Smith, Peter J, 1944-
Vydáno: (2003)

An introduction to substructural logics
Autor: Restall, Greg, 1969-
Vydáno: (2000)

Logic journal of the IGPL.
Vydáno: (1997)

Mathematical logic : a first course
Autor: Robbin, Joel W.
Vydáno: (1969)

A mathematical introduction to logic
Autor: Enderton, Herbert, 1936-2010
Vydáno: (1972)

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

Mathematical problems from applied logic. logics for the XXIst Century

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

The problem of inductive logic
Vydáno: (1968)

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

The Journal of symbolic logic
Vydáno: (1936)

The Journal of symbolic logic
Vydáno: (1936)

The bulletin of symbolic logic
Vydáno: (1995)

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

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Autor: Carnielli, Walter Alexandre, 1952-, a další

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

Introduction to logic and to the methodology of deductive sciences
Autor: Tarski, Alfred, 1901-1983
Vydáno: (1965)

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

Introduction to symbolic logic and its applications
Autor: Carnap, Rudolf, 1891-1970
Vydáno: (1958)

Annals of pure and applied logic

Three Views of Logic : Mathematics, Philosophy, and Computer Science
Autor: Loveland, Donald W., a další
Vydáno: (2014)

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

Mathematical logic and the foundations of mathematics : an introductory survey
Autor: Kneebone, G. T.
Vydáno: (1963)

Set theory and logic
Autor: Fraenkel, Abraham Adolf, 1891-1965
Vydáno: (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