Constructive order types :: SCD d'Orléans

Constructive order types

Constructive order types

Salvato in:

Dettagli Bibliografici
Autore principale:	Crossley, John Newsome, 1937-
Natura:	Livre papier
Lingua:	Anglais
Pubblicazione:	Amsterdam ; London : North-Holland cop. 1969.
Serie:	Studies in logic and the foundations of mathematics
Soggetti:	Mathématiques constructives Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
di: Richman, Fred, 1938-

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
di: Makkai, Mihály, 1939-, et al.

Constructibility and mathematical existence
di: Chihara, Charles S., 1932-
Pubblicazione: (1990)

Büchi's monadic second order successor arithmetic
di: Siefkes, Dirk

Modular construction and partial order semantics of Petri nets
di: Vogler, Walter, 1955-

First-order dynamic logic
di: Harel, David, 1950-

Computational aspects of an order-sorted logic with term declarations
di: Schmidt-Schauß, Manfred

Lambda-calcul : types et modèles
di: Krivine, Jean-Louis, 1939-
Pubblicazione: (1990)

Solvable cases of the decision problem
di: Ackermann, Wilhelm, 1896-1962
Pubblicazione: (1954)

Cinq conférences sur l'indécidabilité
di: Bouleau, Nicolas, 1945-, et al.
Pubblicazione: (1983)

Eine Termlogik mit Auswahloperator
di: Hermes, Hans, 1912-2003

Logic for mathematicians
di: Rosser, John Barkley, 1907-1989
Pubblicazione: (1953)

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

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Notes on logic
di: Lyndon, Roger Conant, 1917-1988
Pubblicazione: (1966)

The Vienna development method : the meta-language
di: Bjørner, Dines, 1937-

Introduction à la logique
di: Rivenc, François, 1945-
Pubblicazione: (1989)

Méthodes de logique
di: Quine, Willard Van Orman, 1908-2000, philosophe
Pubblicazione: (1973)

Logique sans peine
di: Carroll, Lewis, 1832-1898
Pubblicazione: (1966)

Éléments de mathématiques modernes
di: Richardson, Moses, 1911-1968
Pubblicazione: (1968)

Introduction à la logique
di: Delessert, André, 1923-2010
Pubblicazione: (1988)

A mathematical introduction to logic
di: Enderton, Herbert, 1936-2010
Pubblicazione: (1972)

Modal logics
di: Feys, Robert, 1889-1961
Pubblicazione: (1965)

Logique mathématique
di: Kleene, Stephen Cole, 1909-1994
Pubblicazione: (1971)

Types for proofs and programs : International Workshop TYPES 96 Aussois, France, December 15 19, 1996 : selected papers

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Higher order algebra, logic, and term rewriting : First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers

Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

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

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Logique et modélisation : modèles consistants, données compatibles
di: Gondran, Michel, et al.
Pubblicazione: (1995)

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
di: Slind, Konrad

Logique interne : [modèles et applications]
di: Gauthier, Yvon, 1941-
Pubblicazione: (1997)

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
di: Bernays, Paul, 1888-1977, et al.
Pubblicazione: (1958)

Contemporary philosophy : a survey = = La philosophie contemporaine : chroniques Logic and foundations of mathematics, = Logique et fondements des mathématiques
Pubblicazione: (1968)

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

© 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