Jump to main content

yr 〜
yr

Search results 78

Higher-order algebra, logic, and term rewriting : 2nd International workshop : Sep 1995, Paderborn, Germany. (Lecture Notes in Computer Science ; 1074)

Higher-order algebra, logic, and term rewriting : 2nd International workshop : Sep 1995, Paderborn, Germany. (Lecture Notes in Computer Science ; 1074)
Paper図書
Springer1996.<M17-00-0326>
National Diet Library

Algebraic logic : Colloquium : Aug 1988, Budapest, Hungary. (Colloquia Mathematica Societatis Janos Bolyai ; 54)

Algebraic logic : Colloquium : Aug 1988, Budapest, Hungary. (Colloquia Mathematica Societatis Janos Bolyai ; 54)
Paper図書
Janos Bolyai Mathematical Society1991.<M17-92-0867>
National Diet Library
  • Note (General)Papers. Index term: algebraic logic ; symbolic logic ; IUHPS ; Bo...
  • Alternative Titlealgebraic logic ; symbolic logic ; IUHPS ; Bo...
  • Alternative Titlealgebraic logic ; symbolic logic ; IUHPS ; Bo...

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds. (Lecture notes in computer science)

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9524>
National Diet Library

Algebraic Logic and Universal Algebra in Computer Science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.). (Lecture notes in computer science)

Algebraic Logic and Universal Algebra in Computer Science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A6614>
National Diet Library
  • Subject HeadingAlgebraic logic -- Congresses. Algebra, Unive...

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin. 2nd ed., rev. and enl. (Studies in logic and the foundations of mathematics ; v. 85)

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory / Theodore Hailperin. 2nd ed., rev. and enl. (Studies in logic and the foundations of mathematics ; v. 85)
Paper図書
North-Holland Pub. Co.1986.<MA67-A50>
National Diet Library
  • Subject Heading記号論理学. ブール[Boole]代数. 確率論. Algebraic logic. Algebra, Boolean. Probabilit...

Category theory : applications to algebra, logic and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981 / edited by K.H. Kamps, D. Pumplün, and W. Tholen. (Lecture notes in mathematics)

Category theory : applications to algebra, logic and topology : proceedings of the international conference held at Gummersbach, July 6-10, 1981 / edited by K.H. Kamps, D. Pumplün, and W. Tholen. (Lecture notes in mathematics)
Paper図書
Springer-Verlag1982.<M15-A1143>
National Diet Library

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin. (Studies in logic and the foundations of mathematics ; v. 85)

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin. (Studies in logic and the foundations of mathematics ; v. 85)
Paper図書
North-Holland Pub. Co.1976.<MA67-226>
National Diet Library
  • Subject HeadingAlgebraic logic. Algebra, Boolean. Probabilit...

Algebraic logic : pbk.

Algebraic logic : pbk.
Paper図書
Paul R. HalmosDover Publications2016
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

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

Universal algebraic logic : dedicated to the unity of science : pbk
Paper図書
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó SainBirkhäuserc2022
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

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

Universal algebraic logic : dedicated to the unity of science hbk.
Paper図書
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó SainBirkhäuser2022
Other Libraries in Japan
  • Subject HeadingAlgebraic logic
  • Subject Heading (ID)Algebraic logic

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs

Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Paper図書
Ivo Düntsch, Edwin Mares, editorsSpringerc2022
Other Libraries in Japan
  • Subject HeadingUrquhart, Alasdair Algebraic logic Lattice theory
  • Subject Heading (ID)Urquhart, Alasdair Algebraic logic Lattice theory

Algebra, logic and number theory : proceedings of the 5th joint conferences on Algebra, Logic and Number Theory, June 24-29, 2018, Będlewo

Algebra, logic and number theory : proceedings of the 5th joint conferences on Algebra, Logic and Number Theory, June 24-29, 2018, Będlewo
Paper図書
editors of the volume, Paweł Gładki ... [et al.]Institute of Mathematics, Polish Academy of Sciences2020
Other Libraries in Japan

Algebra, logic and combinatorics : hc

Algebra, logic and combinatorics : hc
Paper図書
editors, Shaun Bullett, Tom Fearn, Frank SmithWorld Scientificc2016
Other Libraries in Japan

Hajnal Andréka and István Németi on Unity of Science : from computing to relativity theory through Algebraic Logic

Hajnal Andréka and István Németi on Unity of Science : from computing to relativity theory through Algebraic Logic
Paper図書
Judit Madarász, Gergely Székely, EditorsSpringerc2021
Other Libraries in Japan

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
Paper図書
Janusz Czelakowski, editorSpringerc2018
Other Libraries in Japan

Abstract algebraic logic : an introductory textbook

Abstract algebraic logic : an introductory textbook
Paper図書
Josep Maria FontCollege Publicationsc2016
Other Libraries in Japan

Algebra, logic and number theory : proceedings of the 3rd joint conferences on Algebra, Logic and Number Theory, June 8-13, 2014, Będlewo

Algebra, logic and number theory : proceedings of the 3rd joint conferences on Algebra, Logic and Number Theory, June 8-13, 2014, Będlewo
Paper図書
editors of the volume, Paweł Gładki, ... [et al.]Institute of Mathematics, Polish Academy of Sciences2016
Other Libraries in Japan

Cylindric-like algebras and algebraic logic

Cylindric-like algebras and algebraic logic
Paper図書
Hajnal Andréka, Miklós Ferenczi, István Németi (eds.)Springerc2012
Other Libraries in Japan

Algebraic logic : Bolyai

Algebraic logic : Bolyai
Paper図書
edited by H. Andréka, J.D. Monk, and I. NémetiNorth-Holland Pub. Coc1991
Other Libraries in Japan

Algebra, logic, set theory : festschrift für Ulrich Felgner zum 65. geburtstag

Algebra, logic, set theory : festschrift für Ulrich Felgner zum 65. geburtstag
Paper図書
edited by Benedikt LöweCollege Publicationsc2007
Other Libraries in Japan
  • Subject HeadingAlgebraic logic Set theory
  • Subject Heading (ID)Algebraic logic Set theory
RSS