本文に飛ぶ

年 〜
年

検索結果 80 件

Proof theory and algebra in logic (Short textbooks in logic)

Proof theory and algebra in logic (Short textbooks in logic)
紙図書
Hiroakira OnoSpringer[2019]<MA41-D5>
国立国会図書館全国の図書館
  • 内容細目...ogic Basics of algebraic logic Logics and varieties Residuat...
  • 件名Proof theory Algebraic logic

Algebraic theories : a categorical introduction to general algebra (Cambridge tracts in mathematics ; 184)

Algebraic theories : a categorical introduction to general algebra (Cambridge tracts in mathematics ; 184)
紙図書
J. Adámek, J. Rosický, E.M. Vitale, with a foreword by F.W. Lawvere.Cambridge University Press2011.<MA67-B75>
国立国会図書館全国の図書館
  • 件名Categories (Mathematics) Algebraic logic.

From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung. (Lecture notes in mathematics ; 2029)

From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung. (Lecture notes in mathematics ; 2029)
紙図書
Springer-Verlagc2011.<MA67-B68>
国立国会図書館
  • 件名Functor theory. Algebra, Boolean. Algebraic logic.

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)

Relational and algebraic methods in computer science : 14th international conference, RAMiCS 2014 : Marienstatt, Germany, April 28-May 1, 2014 : proceedings : Apr 2014, Marienstatt, Germany. (Lecture Notes in Computer Science ; 8428)
紙図書
Springer[2014]<M17-15-1583>
国立国会図書館
  • 件名Algebraic logic--Congresses. R......s--Congresses. Algebraic logic. Computer science--Mathematic...

Logics of variable inclusion

Logics of variable inclusion
紙図書
Stefano Bonzio, Francesco Paoli, Michele Pra BaldiSpringerc2022
全国の図書館
  • 件名Algebraic logic
  • 件名（識別子）Algebraic logic

Consequence relations : an introduction to the Lindenbaum-Tarski method

Consequence relations : an introduction to the Lindenbaum-Tarski method
紙図書
Alex Citkin, Alexei MuravitskyOxford University Pressc2022
全国の図書館
  • 件名Algebraic logic
  • 件名（識別子）Algebraic logic

Universal algebraic logic : dedicated to the unity of science : pbk

Universal algebraic logic : dedicated to the unity of science : pbk
紙図書
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó SainBirkhäuserc2022
全国の図書館
  • 件名Algebraic logic
  • 件名（識別子）Algebraic logic

Residuated structures in algebra and logic : pbk

Residuated structures in algebra and logic : pbk
紙図書
George Metcalfe, Francesco Paoli, Constantine TsinakisAmerican Mathematical Societyc2023
全国の図書館
  • 件名Algebraic logic Algebra, Universal
  • 件名（識別子）Algebraic logic Algebra, Universal

Universal algebraic logic : dedicated to the unity of science hbk.

Universal algebraic logic : dedicated to the unity of science hbk.
紙図書
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó SainBirkhäuser2022
全国の図書館
  • 件名Algebraic logic
  • 件名（識別子）Algebraic logic

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
紙図書
Ivo Düntsch, Edwin Mares, editorsSpringerc2022
全国の図書館
  • 件名Urquhart, Alasdair Algebraic logic Lattice theory
  • 件名（識別子）Urquhart, Alasdair Algebraic logic Lattice theory

Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)

Relations and Kleene algebra in computer science : 11th international conference on relational methods in computer science, RelMiCS 2009 and 6th international conference on applications of Kleene algebra, AKA 2009 : Doha, Qatar, November 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)
紙図書
Springerc2009.<M17-10-1915>
国立国会図書館
  • 件名...-- Congresses. Algebraic logic -- Congresses. Computer scien...

Logic and its applications. : international conference on logic and its applications in algebra and geometry : workshop on combinatorial set theory, excellent classes, and schanuel conjecture : Apr 2003, Ann Arbor, MI. (Contemporary Mathematics ; 380)

Logic and its applications. : international conference on logic and its applications in algebra and geometry : workshop on combinatorial set theory, excellent classes, and schanuel conjecture : Apr 2003, Ann Arbor, MI. (Contemporary Mathematics ; 380)
紙図書
American Mathematical Societyc2005.<M17-05-2336>
国立国会図書館
  • 件名Algebraic logic -- Congresses. Algebraic geom...

Bringing out the algebraic character of arithmetic : from children's ideas to classroom practice / Analúcia D. Schliemann, David W. Carraher, Bárbara M. Brizuela. (Studies in mathematical thinking and learning)

Bringing out the algebraic character of arithmetic : from children's ideas to classroom practice / Analúcia D. Schliemann, David W. Carraher, Bárbara M. Brizuela. (Studies in mathematical thinking and learning)
紙図書
Lawrence Erlbaum Associates2007.<YU111-B582>
国立国会図書館
  • 件名Arithmetic -- Study and teaching (Elementary) Algebraic logic -- Study and teaching (Elemen...

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)
紙図書
Springerc2008.<M17-08-1262>
国立国会図書館
  • 件名...-- Congresses. Algebraic logic -- Congresses. Computer scien...

Algebraic logic : pbk.

Algebraic logic : pbk.
紙図書
Paul R. HalmosDover Publications2016
全国の図書館
  • 件名Algebraic logic
  • 件名（識別子）Algebraic logic

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)

Relations and Kleene algebra in computer science : 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006 : Manchester, UK, August/September, 2006 : proceedings. : RelMiCS-9 : AKA 2006 : Aug 2006, Manchester, UK. (Lecture Notes in Computer Science ; 4136)
紙図書
Springerc2006.<M17-06-3042>
国立国会図書館
  • 件名Algebraic logic -- Congresses. Computer scien...

A general algebraic semantics for sentential logics 2nd ed.

A general algebraic semantics for sentential logics 2nd ed.
紙図書
Josep Maria Font, Ramon JansanaAssociation for Symbolic Logicc2016
全国の図書館
  • 件名Algebraic logic
  • 件名（識別子）Algebraic logic

Algebraic coding theory and information theory : DIMACS workshop : algebraic coding theory and information theory : December 15-18, 2003 : Rutgers University : Piscataway, New Jersey. : 2001-2005 special focus on computational information theory and coding : 4-year special focus on computational information theory and coding : Dec 2003, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 68)

Algebraic coding theory and information theory : DIMACS workshop : algebraic coding theory and information theory : December 15-18, 2003 : Rutgers University : Piscataway, New Jersey. : 2001-2005 special focus on computational information theory and coding : 4-year special focus on computational information theory and coding : Dec 2003, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 68)
紙図書
American Mathematical Societyc2005.<M17-05-1783>
国立国会図書館
  • 件名...-- Congresses. Algebraic logic -- Congresses.

Algebraizable logics

Algebraizable logics
紙図書
W.J. Blok and Don PigozziAdvanced Reasoning Forum2014
全国の図書館
  • 件名Algebraic logic
  • 件名（識別子）Algebraic logic

The equationally-defined commutator : a study in equational logic and algebra

The equationally-defined commutator : a study in equational logic and algebra
紙図書
Janusz CzelakowskiBirkhäuserc2015
全国の図書館
  • 件名Algebraic logic Commutators (Operator theory)
  • 件名（識別子）Algebraic logic Commutators (Operator theory)
RSS