Book News 430号
2.数理論理学・数学基礎論



*041  Andrew,A.:
       A Missing Link in Cybernetics: Logic and Continuity.
           (IFSR Int'l Series on Systems Science and Engineering, Vol. 26)
             May 2009	225 pp.
             (Springer)     9780387751634   11,270.
 042  Beineke,L./Wilson,R.:
       Topics in Topological Graph Theory.
           (Encyclopedia of Mathematics and its Applications, Vol. 128)
             July 2009	416 pp.
             (Cambridge)    9780521802307   14,520.
 043  Cooper,B./Geuvers,H./Pillay,A./Vaananen,J.(eds.):詳報掲載
       Logic Colloquium 2006.
           (Lecture Notes in Logic, Vol. **)
             June 2009	384 pp.
             (Cambridge)    9780521110815     .....
 044  D'souza,D./Shankar,P.(eds.):
       Modern Applications of Automata Theory.
           (IISc Research Monographs Series, Vol. 2)
             Dec. 2009	200 pp.
             (World Sci.)   9789814271042   10,920.
*045  Denecke,K./Wismath,S.:
       Universal Algebra and Coalgebra.
             Apr. 2009	280 pp.
             (World Sci.)   9789812837455    7,700.
／注文方法／ボタンの

*046  Fruhwirth,T.:
       Constraint Handling Rules.
             July 2009	336 pp.
             (Cambridge)    9780521877763   11,220.
*047  Hein,J.:
       Discrete Structures, Logic, and Computability, 3rd ed.
             Feb. 2009	1024 pp.
             (J & B)        9780763772062   18,190.
 048  Li,W.:
       Mathematical Logic: Basic Principles and Formal Calculus.
           (Progress in Computer Science and Applied Logic, Vol. 25)
             June 2009	300 pp.
             (Birkhauser)   9783764399764    8,930.
*049  Marquis,J.-P.:
       From A Geometrical Point of View: 
        A Study of the History and Philosophy of Category Theory. 
           (Logic, Epistemology, and the Unity of Science, Vol. 14)
             Jan. 2009	310 pp.
             (Springer)     9781402093838   24,160.
 050  Potter,M.:
       Wittgenstein's Notes on Logic.
             Mar. 2009	336 pp.
             (Oxford)       9780199215836    7,210.
／注文方法／ボタンの

 051  Priestley,H./Gehrke,M.:
       Lattices in Logic: 
        A Study of Duality, Correpondence and Canonicity. 
             Sep. 2009	552 pp.
             (Oxford)       9780198568018   13,390.
*052  Ramanujam,R./Sarukkai,S.(eds.):
       Logic and Its Applications: 3rd ICLA 2009, Chennai.
           (Lecture Notes in Computer Science, Vol. 5378)
             Jan. 2009	269 pp.
             (Springer)     9783540927006    8,220.
 053  Sacks,G.:
       Saturated Model Theory, 2nd ed.
             Nov. 2008	350 pp.
             (World Sci.)   9789812833815    8,120.
 054  Sambin,G.:
       The Basic Picture: Structures for Constructive Topology.
           (Oxford Logic Guides, Vol. 51)
             Apr. 2009	400 pp.
             (Oxford)       9780199232888   12,360.
*055  Steinbach,B./Posthoff,C.:
       Logic Functions and Equations: Examples and Exercises.
             Feb. 2009	234 pp.
             (Springer)     9781402095948   14,310.
／注文方法／ボタンの

*056  de la Banda,M./Pontelli,E.(eds.) :
       Logic Programming: 
        24th International Conference, ICLP 2008 Udine. 
           (Lecture Notes in Computer Science, Vol. 5366)
             Dec. 2008	826 pp.
             (Springer)     9783540899815   15,740.