SUBJECTS (1-43 of 43)
Algebraic logic
1
book jacket

Algebraic logic
Gindikin, S. G. (Semen Grigorʹevich)
New York : Springer-Verlag, c1985
 
c1985
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 G5613    AVAILABLE    30340200189862
2
book jacket

An algebraic approach to non-classical logics
Rasiowa, Helena
Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1974
 
1974
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 .R37    AVAILABLE    30340200092694
3
 

An algebraic introduction to mathematical logic
Barnes, Donald W
New York : Springer-Verlag, [1975]
 
1975
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9 .B27    AVAILABLE    30340200143398
4
book jacket

An algebraic introduction to mathematical logic
Barnes, D. W. (Donald W.), 1935-
New York : Springer-Verlag, [1975]
1975
電子書

Location: Mathematics Library
5
book jacket

Algebraic Methods in General Rough Sets

Cham, Switzerland : Birkhauser, [2018]
 
2018
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA248 A4 2018    AVAILABLE    30340200561573
6
book jacket

Algebraic theories : a categorical introduction to general algebra
Adamek, Jiri, ing, author
Cambridge : Cambridge University Press, 2011
2011
COMPUTER FILE

Location: Mathematics Library
7
book jacket

Algebraizable logics
Blok, W. J., 1947-
Providence, R.I., USA : American Mathematical Society, c1989
 
c1989
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA3 A57 v.396    AVAILABLE    30340200218521
8
book jacket

Algebraizable logics
Blok, W. J., 1947-
Providence, R.I., USA : American Mathematical Society, c1989
c1989
電子書

Location: Mathematics Library
9
book jacket

Algebraizable logics
Blok, W. J., 1947- author
Providence, Rhode Island : American Mathematical Society, 1989
1989
COMPUTER FILE

Location: Department of Information Technology Services
10
book jacket

Antimorphic action : categories of algebraic structures with involutions or anti-endomorphisms
Cornish, W. H. (William Hugh)
Berlin : Heldermann, c1986
 
c1986
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 C67 1986    AVAILABLE    30340200268906
11
book jacket

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Hailperin, Theodore
Amsterdam : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1976
 
1976
PRINTED

Location: Statistics Sci. Lib., Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Statistics Sci. Lib.  QA10 H34 1976    AVAILABLE    30570000007621
 Mathematics Library  QA10 .H34    AVAILABLE    30340200119323
12
book jacket

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Hailperin, Theodore
Amsterdam : North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1986
 
1986
PRINTED

Location: Statistics Sci. Lib., Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 .H341 1986    AVAILABLE    30340200200776
13
book jacket

Classical algebra : its nature, origins, and uses
Cooke, Roger, 1942-
Hoboken, N.J. : Wiley-Interscience, c2008
 
c2008
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA155 C665 2008    AVAILABLE    30340200495046
14
book jacket

Coherent Systems
Schlechta, Karl
Amsterdam ; Oxford : Elsevier, 2004
 
2004
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Books  I2.3 S339    AVAILABLE    30330000180278
15
 

Completeness of many-sorted equational logic
Goguen, J. A.
Stanford, CA : Center for the Study of Language and Information, Stanford University, c1984
 
c1984
PRINTED

Location: Fu Ssu-Nien Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Fu Ssu-Nien WTN LANG BK  Q335 R425  no.84-15    AVAILABLE    HPW0053968
16
book jacket

Cylindric-like algebras and algebraic logic

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
2013
COMPUTER FILE

Location: Mathematics Library
17
book jacket

The equationally-defined commutator : a study in equational logic and algebra
Czelakowski, Janusz, author
Cham : Springer International Publishing : Imprint: Birkhauser, 2015
2015
電子書

Location: 中央研究院
18
book jacket

From objects to diagrams for ranges of functors
Gillibert, Pierre
Berlin ; Heidelberg : Springer-Verlag, c2011
 
c2011
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10.3 G55 2011    AVAILABLE    30340200516395
19
book jacket

From objects to diagrams for ranges of functors
Gillibert, Pierre
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
2011
電子書

Location: Mathematics Library
20
book jacket

Functions and generality of logic : reflections on Dedekind's and Frege's logicisms
Benis-Sinaceur, Hourya, author
Cham : Springer International Publishing : Imprint: Springer, 2015
2015
電子書

Location: 中央研究院
21
book jacket

A general algebraic semantics for sentential logics
Font, Josep Maria, 1954-
New York : Springer-Verlag, 1996
 
1996
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 F66 1996    AVAILABLE    30340200346124
22
 

An introduction to algebraic logic
Kiss, Stephen Anthony, 1890-
Westport, Conn., 1961
 
1961
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9 K643    AVAILABLE    30340200065815
23
book jacket

Logic and its applications International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan
International Conference on Logic and Its Applications in Algebra and Geometry (2003 : University of Michigan)
Providence, R.I. : American Mathematical Society, c2005
c2005
電子書

Location: Mathematics Library
24
book jacket

Logic in algebraic form. Three languages and theories
Craig, William
Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1974
 
1974
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 .C7    AVAILABLE    30340200092314
25
 

Mathematical logic and algebra : bcollected papers dedicated to the 100th birthday of academician Petr Sergeevich Novikov

Moscow, Russia : Maik Nauka/Interperiodica Pub., c2003
 
c2003
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9 M3695 2003    AVAILABLE    30340200447229
26
 

The MU-calculus and the hierarchy problem
Lenzi, Giacomo
Pisa : Scuola normale superiore, 1998
 
1998
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 L46 1998    AVAILABLE    30340200445439
27
book jacket

Non-commutative multiple-valued logic algebras
Ciungu, Lavinia Corina
Cham : Springer International Publishing : Imprint: Springer, 2014
2014
COMPUTER FILE

Location: 中央研究院
28
 

Ordinal algebras;
Tarski, Alfred
Amsterdam, North-Holland Pub. Co., 1956
 
1956
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 .T37    AVAILABLE    30340200025942
29
book jacket

A primer of probability logic
Adams, Ernest W. (Ernest Wilcox), 1926-
Stanford, Calif. : Center for the Study of Language and Information, c1998
 
c1998
PRINTED

Location: Euro-Am Studies Lib
LOCATION CALL # STATUS OPACMSG BARCODE
 Euro-Am 3F Western Mat.  511.3 Ad17    AVAILABLE    30500100975500
30
book jacket

Proof theory and algebra in logic
Ono, Hiroakira, author
Singapore : Springer Singapore : Imprint: Springer, 2019
2019
COMPUTER FILE

Location: 中央研究院
31
book jacket

Protoalgebraic logics
Czelakowski, Janusz
Dordrecht : Boston : Kluwer Academic Publishers, c2001
 
c2001
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 C94 2001    AVAILABLE    30340200411936
32
book jacket

Residuated Lattices
Galatos, Nikolaos
Oxford : Elsevier Science & Technology, 2007
2007
COMPUTER FILE

Location: Department of Information Technology Services
33
book jacket

Residuated lattices : an algebraic glimpse at substructural logics

Amsterdam ; Boston : Elsevier, c2007
 
c2007
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 .R47 2007    AVAILABLE    30340200483950
34
book jacket

Semigroups underlying first-order logic
Craig, William, 1918-
Providence, R.I. : American Mathematical Society, 2006
 
2006
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 .C74 2006    AVAILABLE    30340200479560
35
book jacket

Semigroups underlying first-order logic
Craig, William, 1918-
Providence, R.I. : American Mathematical Society, 2006
2006
電子書

Location: Mathematics Library
36
book jacket

Semigroups underlying first-order logic
Craig, William, 1918- author
Providence, Rhode Island : American Mathematical Society, [2006]
2006
COMPUTER FILE

Location: Department of Information Technology Services
37
book jacket

Sentential probability logic : origins, development, current status, and technical applications
Hailperin, Theodore
Bethlehem : Lehigh University Press, c1996
 
c1996
PRINTED

Location: Mathematics Library, Statistics Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 H344 1996    AVAILABLE    30340200348203
 Statistics Sci. Lib.  QA10 H344 1996    AVAILABLE    30570000091567
38
book jacket

Simple relation algebras
Givant, Steven, author
Cham : Springer International Publishing : Imprint: Springer, 2017
2017
COMPUTER FILE

Location: 中央研究院
39
book jacket

Studies in algebraic logic

[Washington] : Mathematical Association of America, [1974]
 
1974
PRINTED

Location: Mathematics Library, Economics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA10 .S78    AVAILABLE    30340200123614
 Economics Library  QA10 S78 1974    AVAILABLE    30510100162371
40
book jacket

Universal Algebra, Algebraic Logic, and Databases
Plotkin, B
Dordrecht : Springer Netherlands : Imprint : Springer, 1994
1994
電子書

Location: Mathematics Library
41
book jacket

Universal algebra : fundamentals and selected topics
Bergman, C. H. (Clifford H.), 1953-
Boca Raton : CRC Press, c2012
 
c2012
PRINTED

Location: Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA251 B45 2012    AVAILABLE    30340200522153
42
book jacket

Universal algebraic logic : dedicated to the unity of science
Andréka, H
Basel : Birkhäuser ; London : Springer [distributor], 2008
 
2008
MAP

Location: 中央研究院
43
book jacket

Universal algebra, algebraic logic, and databases
Plotkin, B. I. (Boris Isaakovich)
Dordrecht ; Boston : Kluwer Academic Publishers, c1994
 
c1994
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA251 P6213 1994    AVAILABLE    30340200310377
 Inform. Sci. Books  F3.m P729    AVAILABLE    30330000103940