Explore: Logique Algébrique
Discover books, insights, and more — all in one place.
Learn more about Logique Algébrique with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “logique-alg%C3%A9brique”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1The logical systems of Lesniewski
By Eugene C. Luschei

“The logical systems of Lesniewski” Metadata:
- Title: ➤ The logical systems of Lesniewski
- Author: Eugene C. Luschei
- Language: English
- Number of Pages: Median: 361
- Publisher: North-Holland Pub. Co.
- Publish Date: 1962
- Publish Location: Amsterdam
“The logical systems of Lesniewski” Subjects and Themes:
- Subjects: ➤ Logique symbolique et mathématique - Symbolic and mathematical Logic - Semantics (Philosophy) - Logique algébrique
- People: ➤ Stanislaw Leśniewski (1896-1939) - Stanislaw Lesniewski (1896-1939)
Edition Identifiers:
- The Open Library ID: OL27071601M
- Online Computer Library Center (OCLC) ID: 604850099
- All ISBNs: 0444533958 - 9780444533951
Access and General Info:
- First Year Published: 1962
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The logical systems of Lesniewski at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Algebraic and logic programming
By H. Kirchner and Wolfgang Wechler

“Algebraic and logic programming” Metadata:
- Title: ➤ Algebraic and logic programming
- Authors: H. KirchnerWolfgang Wechler
- Language: English
- Number of Pages: Median: 386
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: Berlin - New York
“Algebraic and logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Algebraic logic - Programmation logique - Congrès - Logique algébrique - Algebra - Algebraische Spezifikation - Logische Programmierung - Programmierung - Data processing
Edition Identifiers:
- The Open Library ID: OL1858054M
- Online Computer Library Center (OCLC) ID: 22389519
- Library of Congress Control Number (LCCN): 90010325
- All ISBNs: 0387531629 - 9780387531625
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Algebraic and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Algebraic and logic programming
By J. Grabowski, Pierre Lescanne and Wolfgang Wechler

“Algebraic and logic programming” Metadata:
- Title: ➤ Algebraic and logic programming
- Authors: J. GrabowskiPierre LescanneWolfgang Wechler
- Language: English
- Number of Pages: Median: 278
- Publisher: Springer-Verlag
- Publish Date: 1988
- Publish Location: New York - Berlin
“Algebraic and logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Algebraic logic - Programmierung (Datenverarbeitung) - Termsystem - Algebra - Programmation logique - Congrès - Logique algébrique - Algebraische Spezifikation - Logische Programmierung - Programmierung - Termersetzungssystem - Kongress
Edition Identifiers:
- The Open Library ID: OL2056998M
- Online Computer Library Center (OCLC) ID: 20827430 - 18960002
- Library of Congress Control Number (LCCN): 88035574 - 89145441
- All ISBNs: 9780387506678 - 0387506675
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Algebraic and logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Universal algebra
By C. H. Bergman
“Universal algebra” Metadata:
- Title: Universal algebra
- Author: C. H. Bergman
- Language: English
- Number of Pages: Median: 297
- Publisher: CRC Press
- Publish Date: 2011
- Publish Location: Boca Raton
“Universal algebra” Subjects and Themes:
- Subjects: ➤ MATHEMATICS / Algebra / General - MATHEMATICS / Set Theory - Algebraic logic - Universal Algebra - COMPUTERS / Programming / Algorithms - Algebra, universal - Algèbre universelle - Logique algébrique - COMPUTERS - Programming - Algorithms - MATHEMATICS - Algebra - General - Set Theory
Edition Identifiers:
- The Open Library ID: OL25054047M
- Online Computer Library Center (OCLC) ID: 861618524
- Library of Congress Control Number (LCCN): 2011036515
- All ISBNs: 9781439851296 - 1439851298
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Universal algebra at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Relations and Kleene algebra in computer science
By International Seminar on Relational Methods in Computer Science (9th 2006 Manchester, England)
“Relations and Kleene algebra in computer science” Metadata:
- Title: ➤ Relations and Kleene algebra in computer science
- Author: ➤ International Seminar on Relational Methods in Computer Science (9th 2006 Manchester, England)
- Language: English
- Number of Pages: Median: 431
- Publisher: Springer
- Publish Date: 2006
- Publish Location: Berlin - New York
“Relations and Kleene algebra in computer science” Subjects and Themes:
- Subjects: ➤ Congresses - Mathematics - Algebraic logic - Computer science - Algebra, data processing - Relationism - Informatique - Congrès - Mathématiques - Logique algébrique
Edition Identifiers:
- The Open Library ID: OL18270246M
- Online Computer Library Center (OCLC) ID: 71200479
- Library of Congress Control Number (LCCN): 2006931478
- All ISBNs: 9783540378730 - 3540378731
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Relations and Kleene algebra in computer science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmethic held at Karpacz, Poland, September 1-7, 1979
By Conference on Applications of Logic to Algebra and Arithmetic (1979 Karpacz, Poland)

“Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmethic held at Karpacz, Poland, September 1-7, 1979” Metadata:
- Title: ➤ Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmethic held at Karpacz, Poland, September 1-7, 1979
- Author: ➤ Conference on Applications of Logic to Algebra and Arithmetic (1979 Karpacz, Poland)
- Language: English
- Number of Pages: Median: 410
- Publisher: Springer-Verlag
- Publish Date: 1980
- Publish Location: New York - Berlin
“Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmethic held at Karpacz, Poland, September 1-7, 1979” Subjects and Themes:
- Subjects: ➤ Congresses - Model theory - Logique symbolique et mathématique - Logique algébrique - Algebra - Arithmetic - Mathematics - Symbolic and mathematical Logic - Mathematical Logic and Foundations
Edition Identifiers:
- The Open Library ID: OL16413918M
- Online Computer Library Center (OCLC) ID: 7073521
- Library of Congress Control Number (LCCN): 82131180
- All ISBNs: 9783540102694 - 3540102698
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmethic held at Karpacz, Poland, September 1-7, 1979 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Haskell Curry
2012. {{cite book}}: ISBN / Date incompatibility (help) Leçons de logique algébrique (in French). Paris: Gauthier-Villars. 1952. Curry, Haskell Brooks;
Pierre Boutroux
calcul algébrique, calcul des fonctions, l'algèbre géométrique. (2) La géométrie algébrique. Extensions de l'algèbre et constructions logiques. Extensions
Eberhard Becker
Hilbert's 17th Problem," Seminarie de Structures Algebriques Ordonnees, Vol. 56, Equipe de Logique Mathematique, Universite Paris VII, 1996. Quadratic
Laura Chaubard
Chaubard, Laura (2007-01-01). "Méthodes algébriques pour les langages formels : applications à la logique et à la dynamique symbolique". Retrieved 2024-03-03
Séminaire Nicolas Bourbaki (1950–1959)
Lusternik–Schnirelmann category) Luc Gauthier, Quelques variétés usuelles en géométrie algébrique (algebraic geometry) Jean-Louis Koszul, Cohomologie des espaces fibrés
Euclidean geometry
interpretations... — Padoa, Essai d'une théorie algébrique des nombre entiers, avec une Introduction logique à une théorie déductive quelconque That is, mathematics