Algebraic methods of mathematical logic :: SCD d'Orléans

Algebraic methods of mathematical logic

Algebraic methods of mathematical logic

Salvato in:

Dettagli Bibliografici
Autore principale:	Rieger, Ladislav, 1916-1963
Altri autori:	Basch, Michael (Traduttore)
Natura:	Livre papier
Lingua:	Anglais
Pubblicazione:	Prague : New York [etc.] : Academia ; Academic Press 1967.
Soggetti:	Logique symbolique et mathématique Boole, Algèbre de
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

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

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

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

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

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

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

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

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

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

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.

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
di: Bergman, Clifford H.

Algebraic logic
di: Halmos, Paul Richard, 1916-2006
Pubblicazione: (1962)

Mathematical logic
di: Shoenfield, Joseph Robert, 1927-2000
Pubblicazione: (1967)

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

Algebraic systems
di: Mal'cev, Anatolii Ivanovič, 1909-1967
Pubblicazione: (1973)

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.

Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1 6, 1983

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

Handbook of mathematical logic
di: Barwise, Jon, 1942-2000, logicien
Pubblicazione: (1977)

Introduction to mathematical logic.
di: Church, Alonzo, 1903-1995
Pubblicazione: (1956)

Foundations of mathematical logic
di: Curry, Haskell Brooks, 1900-1982
Pubblicazione: (1963)

Elements of mathematical logic
di: Łukasiewicz, Jan, 1878-1956
Pubblicazione: (1963)

Introduction to mathematical logic
di: Mendelson, Elliott, 1931-2020
Pubblicazione: (1964)

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

Elements of mathematical logic
di: Novikov, Petr Sergeevich, 1901-1975
Pubblicazione: (1964)

Archive for mathematical logic.

The logician and the engineer : how George Boole and Claude Shannon created the information age
di: Nahin, Paul J., 1940-
Pubblicazione: (2011)

Mathematical logic : a first course
di: Robbin, Joel W.
Pubblicazione: (1969)

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

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

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

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

Mini manuel d'architecture de l'ordinateur : cours + exos corrigés
di: Jorda, Jacques, 19..-...., enseignant-chercheur en informatique, et al.
Pubblicazione: (2012)

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

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

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

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

© 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