Logic, computers, and sets :: SCD d'Orléans

Logic, computers, and sets

Logic, computers, and sets

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Wang, Hao, 1921-
Médium:	Livre papier
Jazyk:	Anglais
Vydáno:	New York : Chelsea Publishing Company copyright 1970.
Témata:	Logique symbolique et mathématique Automates mathématiques, Théorie des Ensembles, Théorie des
Poznámka:	"Reprint, with minor alterations, of a work first published by Science Press at Peking in 1962 ... under the title A survey of mathematical logic."
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Set theory and logic
Autor: Fraenkel, Abraham Adolf, 1891-1965
Vydáno: (1966)

Sets, logic, and categories
Autor: Cameron, Peter J., 1947-...., mathématicien

Elements of mathematical logic and set theory
Autor: Słupecki, Jerzy, 1904-1987, a další
Vydáno: (1967)

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
Vydáno: (1970)

A theory of sets
Autor: Morse, Anthony Perry, 1911-1984, mathématicien
Vydáno: (1965)

Admissible sets and structures : an approach to definability theory
Autor: Barwise, Jon, 1942-2000
Vydáno: (1975)

Topics in Set Theory : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
Autor: Bekkali, Mohamed, 1956-

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

Axiomatic theory of sets and classes
Autor: Eisenberg, Murray, 1939-
Vydáno: (1971)

Automata, logics, and infinite games
Autor: Grädel, Erich, 1958-

Abstract sets and finite ordinals : an introduction to the study of set theory
Autor: Keene, Geoffroy Bourton
Vydáno: (1961)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

Collected works. Logic, theory of sets and quantum mechanics
Autor: Von Neumann, John, 1903-1957
Vydáno: (1961)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Vydáno: (1975)

Set theory and the continuum hypothesis
Autor: Cohen, Paul J., 1934-2007, mathématicien
Vydáno: (1966)

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Vydáno: (1977)

Set Theory and its Applications : Proceedings of a Conference held at York University, Ontario, Canada, Aug. 10 21, 1987

Transactions on rough sets.
Autor: Peters, James F., 1936-

Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
Autor: Jensen, Ronald Björn, 1936-

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Eléments de mathématique. Théorie des ensembles. Description de la mathématique formelle. Théorie des ensembles
Autor: Bourbaki, Nicolas
Vydáno: (1960)

Guida alla teoria degli insiemi
Autor: Lolli, Gabriele, 1942-

Around Classification Theory of Models
Autor: Shelah, Saharon, 1945-...., mathématicien

Systems of reductions
Autor: Benninghofen, Benjamin, 1958-, a další

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Rough sets and current trends in computing : ; proceedings 4th international conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004

A logical introduction to proof
Autor: Cunningham, Daniel W.

Langages, ensembles, théories axiomatiques
Autor: Hervieux, Maurice, a další
Vydáno: (1970)

Théorie des ensembles
Autor: Bourbaki, Nicolas

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
Vydáno: (1978)

Cabal Seminar 76 77 : proceedings, Caltech-UCLA logic seminar 1976 77

Rough sets and current trends in computing : second international conference, RSCTC 2000, Banff, Canada, October 16-19, 2000 : revised papers

Banach Spaces and Descriptive Set Theory : Selected Topics
Autor: Dodos, Pandelis, 1974-

Injective Choice Functions
Autor: Holz, Michael, mathématicien, a další

Rough sets and current trends in computing : third international conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002 : proceedings

Initiation au raisonnement mathématique : logique et théorie des ensembles
Autor: Dupin, Jean-Claude, a další
Vydáno: (1993)

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

Algèbre : travaux dirigés de mathématiques, premier cycle de l'enseignement supérieur scientifique
Autor: Auzimour, Annick, 1942-, a další
Vydáno: (1998)

Logique. Méthodes formelles pour l'étude des programmes
Autor: Gochet, Paul, 1932-2011, a další
Vydáno: (1994)

© 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