Simplified independence proofs : :: SCD d'Orléans

Simplified independence proofs : Boolean valued models of set theory

Simplified independence proofs : Boolean valued models of set theory

Salvato in:

Dettagli Bibliografici
Autore principale:	Rosser, John Barkley, 1907-1989
Natura:	Livre papier
Lingua:	Anglais
Pubblicazione:	New York ; London : Academic Press 1969.
Serie:	Pure and applied mathematics : a@ series of monographs and textbooks 31
Soggetti:	Boole, Algèbre de Ensembles, Théorie des Indépendance algébrique
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Schaum's outline of theory and problems of set theory and related topics
di: Lipschutz, Seymour Saul, 1931-
Pubblicazione: (1964)

Probability theory on boolean algebras of events.
di: Onicescu, O.

Boolean algebras
di: Sikorski, Roman, 1920-1983, mathématicien
Pubblicazione: (1969)

Boolean algebras
di: Sikorski, Roman, 1920-1983, mathématicien
Pubblicazione: (1964)

Algèbre : notions de base avec exercices corrigés
di: Noël, Roger, 1947-
Pubblicazione: (2000)

Logic and boolean algebra
di: Arnold, Bradford H., 1916-2012
Pubblicazione: (1962)

Lectures on Boolean algebras
di: Halmos, Paul Richard, 1916-2006, mathématicien
Pubblicazione: (1963)

Introduction to boolean algebras
di: Givant, Steven R., 1943-, et al.

Boolean algebra and its uses
di: South, G. F.
Pubblicazione: (1974)

Boolean algebra and its application : including Boolean matrix algebra
di: Flegg, H. Graham
Pubblicazione: (1964)

Mathématiques à l'usage des informaticiens
di: Brugère, Thierry, et al.
Pubblicazione: (2003)

Nearly Projective Boolean Algebras
di: Heindorf, Lutz, 1953-, et al.

Binary arithmetic and Boolean algebra
di: Gillie, Angelo Christopher, 1925-
Pubblicazione: (1965)

Algèbres de Boole : avec une introduction à la théorie algébrique des graphes orientés et aux "sous-ensembles flous" : suivi d'exercices
di: Serfati, Michel, 1938-2018
Pubblicazione: (1974)

Pseudo-boolean methods for bivalent programming : lecture at the First European Meeting of the Institute of Management Sciences and of the Econometric Institute, Warsaw, September 2-7, 1966
di: Hammer, Peter L., 1936-2006, et al.

Cours de mathématiques supérieures appliquées (mathématiques modernes). Cours de calcul booléien appliqué (Notions sur les ensembles et les treillis, algèbres booléiennes, algèbre binaire).
di: Faure, Robert
Pubblicazione: (1970)

Algèbre et topologie booléennes
di: Ponasse, Daniel, 19..-...., mathématicien, et al.
Pubblicazione: (1979)

Pseudo-boolean programming and applications : presented at the Colloquium on mathematics and cybernetics in the economy, Berlin, October 1964
di: Hammer, Peter L., 1936-2006, et al.

From Objects to Diagrams for Ranges of Functors
di: Gillibert, Pierre, 1983-, et al.

The algebra of probable inference
di: Cox, Richard Threlkeld, 1898-1991
Pubblicazione: (1961)

Operator Algebras Generated by Commuting Projections: A Vector Measure Approach
di: Ricker, Werner Joseph, 1954-

Nouvelles orientations des mathématiques
di: Âglom, Isaak Moiseevič, 1921-1988, et al.
Pubblicazione: (1975)

Structures ordonnées et algèbres de Boole
di: Faure, Robert, 1918-1982, mathématicien, et al.
Pubblicazione: (1971)

Introduction to Algebraic Independence Theory

Compact zero-dimensional metric spaces of finite type
di: Pierce, Richard Scott, 1927-
Pubblicazione: (1972)

L'algèbre de Boole et son utilisation
di: Flegg, H. Graham
Pubblicazione: (1967)

Algèbre de Boole : théorie, méthodes de calcul, applications : avec exercices
di: Permingeat, Noël, et al.
Pubblicazione: (1988)

Mathématiques pour une intelligence produite par une technique humaine : une I A peut être hors de contrôle
di: Pelat, Alain, 1939-
Pubblicazione: (2022)

Algebraic methods of mathematical logic
di: Rieger, Ladislav, 1916-1963
Pubblicazione: (1967)

Les lois de la pensée
di: Boole, George, 1815-1864
Pubblicazione: (1992)

L'algèbre de la logique
di: Couturat, Louis, 1868-1914
Pubblicazione: (1980)

Systèmes logiques
di: Perrin, Jean-Paul, 19..-...., ingénieur, et al.
Pubblicazione: (1967)

Éléments de mathématiques discrètes
di: Frécon, Louis, 1940-
Pubblicazione: (2002)

Introduction à l'algèbre de Boole et aux dispositifs logiques
di: Hoernes, Gerhard E., et al.
Pubblicazione: (1966)

Les bases fondamentales pour l'élaboration et la construction des circuits et systèmes numériques
di: Pelat, Alain, 1939-
Pubblicazione: (2026)

Real algebraic and semi-algebraic sets
di: Benedetti, Riccardo, et al.
Pubblicazione: (1990)

Mathématique et automatique : logique, algèbres de Boole, circuits
di: Bosom, M., et al.
Pubblicazione: (1969)

Cours de mathématiques. Algèbre de Boole, matrices et tenseurs, intégrales simples, convergence uniforme, séries et intégrales de Fourier, fonctions de carré intégrable, courbes, surfaces, intégrales multiples
di: Bass, Jean, 1913-2007
Pubblicazione: (1968)

Algèbre de Boole et machines logiques
Pubblicazione: (1967)

Automatique algèbre de Boole. Fonctions de base : baccalauréat E, F1, F2, F3, formation continue
di: Degoulange, François, et al.
Pubblicazione: (1973)

© 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