Martzloff, Jean-Claude A history of Chinese mathematics. With foreword by Jacques Gernet and Jean Dhombres. Transl. from the French. (English) Zbl 0860.01009 Berlin: Springer. xxiv, 485 p. (1997). Reviewer: Li Xiang (Guiyang) MSC: 01A25 01-02 PDFBibTeX XMLCite \textit{J.-C. Martzloff}, A history of Chinese mathematics. With foreword by Jacques Gernet and Jean Dhombres. Transl. from the French. Berlin: Springer (1997; Zbl 0860.01009)
Wen, Song Long; Cui, Ming Gen Exact solutions to systems of linear ordinary differential equations with variable coefficients in the space \(W^1_2[a,b]\). (Chinese) Zbl 1011.34004 Acta Math. Sci. (Chin. Ed.) 16, No. 4, 361-368 (1996). Reviewer: Hon Xiang Li (MR 98b:34019) MSC: 34A30 34A45 PDFBibTeX XMLCite \textit{S. L. Wen} and \textit{M. G. Cui}, Acta Math. Sci. (Chin. Ed.) 16, No. 4, 361--368 (1996; Zbl 1011.34004)
Li, Shu Yong The eigenvalue problem and its inverse spectrum problem for a class of differential operators. (Chinese) Zbl 1011.34071 Acta Math. Sci. (Chin. Ed.) 16, No. 4, 391-403 (1996). Reviewer: Hong Xiang Li (MR 98b:34112) MSC: 34L40 34A55 34L05 PDFBibTeX XMLCite \textit{S. Y. Li}, Acta Math. Sci. (Chin. Ed.) 16, No. 4, 391--403 (1996; Zbl 1011.34071)
Berger, Ulrich; Schwichtenberg, Helmut Program development by proof transformation. (English) Zbl 0856.03010 Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 1-45 (1995). Reviewer: Li Xiang (Guiyang) MSC: 03B35 68T15 03B60 68N17 PDFBibTeX XMLCite \textit{U. Berger} and \textit{H. Schwichtenberg}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 1--45 (1995; Zbl 0856.03010)
D’Agostino, Giovanna; Magnago, Mario Complete, recursively enumerable relations in arithmetic. (English) Zbl 0827.03027 Math. Log. Q. 41, No. 1, 65-72 (1995). Reviewer: Li Xiang (Guiyang) MSC: 03D45 03B45 03F30 PDFBibTeX XMLCite \textit{G. D'Agostino} and \textit{M. Magnago}, Math. Log. Q. 41, No. 1, 65--72 (1995; Zbl 0827.03027) Full Text: DOI
Ding, Decheng Properties of the subsets of generic r.e. sets. (Chinese) Zbl 0827.03025 Chin. Ann. Math., Ser. A 15, No. 4, 379-385 (1994). Reviewer: Li Xiang (Guiyang) MSC: 03D25 PDFBibTeX XMLCite \textit{D. Ding}, Chin. Ann. Math., Ser. A 15, No. 4, 379--385 (1994; Zbl 0827.03025)
Vardi, Moshe Y.; Wolper, Pierre Reasoning about infinite computations. (English) Zbl 0827.03009 Inf. Comput. 115, No. 1, 1-37 (1994). Reviewer: Li Xiang (Guiyang) MSC: 03B45 03D05 03D15 68Q25 68Q45 PDFBibTeX XMLCite \textit{M. Y. Vardi} and \textit{P. Wolper}, Inf. Comput. 115, No. 1, 1--37 (1994; Zbl 0827.03009) Full Text: DOI Link
Tetruashvili, M. Complexity of the decidability of the unquantified set theory with a rank operator. (English) Zbl 0813.03007 Georgian Math. J. 1, No. 5, 561-565 (1994). Reviewer: Li Xiang (Guiyang) MSC: 03B25 03D15 03E20 68Q25 PDFBibTeX XMLCite \textit{M. Tetruashvili}, Georgian Math. J. 1, No. 5, 561--565 (1994; Zbl 0813.03007) Full Text: EuDML EMIS
Stewart, Iain A. Monotonicity and the expressibility of NP operators. (English) Zbl 0813.03025 Math. Log. Q. 40, No. 1, 132-140 (1994). Reviewer: Li Xiang (Guiyang) MSC: 03D15 03C13 03C80 68Q15 PDFBibTeX XMLCite \textit{I. A. Stewart}, Math. Log. Q. 40, No. 1, 132--140 (1994; Zbl 0813.03025) Full Text: DOI
Song, Fangmin Adding new forms of judgements to Martin-Löf’s type theory. (Chinese) Zbl 0827.03034 Chin. Ann. Math., Ser. A 15, No. 2, 177-184 (1994). Reviewer: Li Xiang (Guiyang) MSC: 03F35 03B25 PDFBibTeX XMLCite \textit{F. Song}, Chin. Ann. Math., Ser. A 15, No. 2, 177--184 (1994; Zbl 0827.03034)
Li, Angsheng; Sui, Yuefei A result about the critical problem of r. e. degrees. I. (Chinese) Zbl 0796.03047 Acta Math. Sin. 36, No. 5, 654-661 (1993). Reviewer: Li Xiang (Guiyang) MSC: 03D25 PDFBibTeX XMLCite \textit{A. Li} and \textit{Y. Sui}, Acta Math. Sin. 36, No. 5, 654--661 (1993; Zbl 0796.03047)
Jiang, Zhigen Non-denseness of d. r. e. degrees above any low r. e. degree. (Chinese) Zbl 0796.03046 Chin. Ann. Math., Ser. A 14, No. 5, 501-506 (1993). Reviewer: Li Xiang (Guiyang) MSC: 03D25 PDFBibTeX XMLCite \textit{Z. Jiang}, Chin. Ann. Math., Ser. A 14, No. 5, 501--506 (1993; Zbl 0796.03046)
Harel, David; Raz, Danny Deciding properties of nonregular programs. (English) Zbl 0789.03029 SIAM J. Comput. 22, No. 4, 857-874 (1993). Reviewer: Li Xiang (Guiyang) MSC: 03B70 68Q60 03B25 03D05 68Q45 PDFBibTeX XMLCite \textit{D. Harel} and \textit{D. Raz}, SIAM J. Comput. 22, No. 4, 857--874 (1993; Zbl 0789.03029) Full Text: DOI
Goldfarb, Warren Herbrand’s error and Gödel’s correction. (English) Zbl 0789.03002 Mod. Log. 3, No. 2, 103-118 (1993). Reviewer: Li Xiang (Guiyang) MSC: 03-03 01A60 03B10 PDFBibTeX XMLCite \textit{W. Goldfarb}, Mod. Log. 3, No. 2, 103--118 (1993; Zbl 0789.03002)
Zhang, Shuguo A Souslin tree is preserved in special forcing extension. (Chinese) Zbl 0796.03053 Acta Math. Sin. 36, No. 1, 21-24 (1993). Reviewer: Li Xiang (Guiyang) MSC: 03E40 03E35 PDFBibTeX XMLCite \textit{S. Zhang}, Acta Math. Sin. 36, No. 1, 21--24 (1993; Zbl 0796.03053)
Chatterji, S. D. Life and works of Norbert Wiener (1894-1964). (English) Zbl 0777.01006 Jahrb. Überbl. Math. 1993, 153-184 (1993). Reviewer: Li Xiang (Guiyang) MSC: 01A70 01A60 PDFBibTeX XMLCite \textit{S. D. Chatterji}, in: Jahrbuch Überblicke Mathematik 1993. Wiesbaden: Vieweg. 153--184 (1993; Zbl 0777.01006)
Mo, Shaokui To build a logical functional calculus. (Chinese) Zbl 0776.03012 Chin. Ann. Math., Ser. A 13, No. 1, 20-24 (1992). Reviewer: Li Xiang (Guiyang) MSC: 03B99 03E99 PDFBibTeX XMLCite \textit{S. Mo}, Chin. Ann. Math., Ser. A 13, No. 1, 20--24 (1992; Zbl 0776.03012)
Shepherdson, J. C. Logics for negation as failure. (English) Zbl 0755.03012 Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 521-583 (1992). Reviewer: Li Xiang (Guiyang) MSC: 03B70 68N17 PDFBibTeX XMLCite \textit{J. C. Shepherdson}, in: Logic from computer science. Proceedings of a workshop, held November 13- 17, 1989, at the Mathematical Sciences Research Institute, Berkeley, CA, USA. New York etc.: Springer-Verlag. 521--583 (1992; Zbl 0755.03012)
Courcelle, B. The monadic second-order logic of graphs. III: Tree-decompositions, minors and complexity issues. (English) Zbl 0754.03006 RAIRO, Inform. Théor. Appl. 26, No. 3, 257-286 (1992). Reviewer: Li Xiang (Guiyang) MSC: 03B15 68Q45 68Q42 03B25 68R10 05C05 05C65 PDFBibTeX XMLCite \textit{B. Courcelle}, RAIRO, Inform. Théor. Appl. 26, No. 3, 257--286 (1992; Zbl 0754.03006) Full Text: DOI EuDML Link
Courcelle, Bruno The monadic second-order logic of graphs. VII: Graphs as relational structures. (English) Zbl 0809.03006 Theor. Comput. Sci. 101, No. 1, 3-33 (1992). Reviewer: Li Xiang (Guiyang) MSC: 03B15 05C99 68Q42 PDFBibTeX XMLCite \textit{B. Courcelle}, Theor. Comput. Sci. 101, No. 1, 3--33 (1992; Zbl 0809.03006) Full Text: DOI
Shen, Baiying Abstraction operation in combinatory logic. (Chinese) Zbl 0776.03006 Chin. Ann. Math., Ser. A 13, No. 4, 451-457 (1992). Reviewer: Li Xiang (Guiyang) MSC: 03B40 PDFBibTeX XMLCite \textit{B. Shen}, Chin. Ann. Math., Ser. A 13, No. 4, 451--457 (1992; Zbl 0776.03006)
Burstall, Rod; Honsell, Furio Operational semantics in a natural deduction setting. (English) Zbl 0755.03011 Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 185-214 (1991). Reviewer: Li Xiang (Guiyang) MSC: 03B70 68N15 68Q55 PDFBibTeX XMLCite \textit{R. Burstall} and \textit{F. Honsell}, in: Logical frameworks. Proceedings of the first annual workshop ''Logical frameworks: design, implementation and experiment'', held in Sophia- Antipolis, France, May 7-11, 1990. Cambridge etc.: Cambridge University Press. 185--214 (1991; Zbl 0755.03011)
Koutny, Maciej Axiom system induced by \(CTL^*\) logic. (English) Zbl 0722.68078 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 2, 235-253 (1991). Reviewer: Li Xiang (Guiyang) MSC: 68Q60 03B45 03B70 68Q10 PDFBibTeX XMLCite \textit{M. Koutny}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 2, 235--253 (1991; Zbl 0722.68078)
Guo, Shengchi Comments on the astronomical ideas of Zhou Bi Classic on Mathematics. (Chinese. English summary) Zbl 0743.01007 Acta Astron. Sin. 32, No. 2, 208-214 (1991). Reviewer: Li Xiang (Guiyang) MSC: 01A25 85-03 PDFBibTeX XMLCite \textit{S. Guo}, Acta Astron. Sin. 32, No. 2, 208--214 (1991; Zbl 0743.01007)
Zhao, Xishun \(\omega{}_ 2\)-Aronszajn tree and Martin’s axiom. (Chinese) Zbl 0746.03041 Acta Math. Sin. 34, No. 3, 372-377 (1991). Reviewer: Li Xiang (Guiyang) MSC: 03E35 03E50 PDFBibTeX XMLCite \textit{X. Zhao}, Acta Math. Sin. 34, No. 3, 372--377 (1991; Zbl 0746.03041)
Feferman, Solomon Reflecting on incompleteness. (English) Zbl 0746.03046 J. Symb. Log. 56, No. 1, 1-49 (1991). Reviewer: Li Xiang (Guiyang) MSC: 03F30 03E30 PDFBibTeX XMLCite \textit{S. Feferman}, J. Symb. Log. 56, No. 1, 1--49 (1991; Zbl 0746.03046) Full Text: DOI
Zhang, Shuliang; Han, Xianglin The comparison of Li Shanlan and Newton’s early calculus thinking. (Chinese. English summary) Zbl 0736.01001 J. Qufu Norm. Univ., Nat. Sci. 17, No. 2, 102-106 (1991). Reviewer: Li Xiang (Guiyang) MSC: 01A25 26-03 PDFBibTeX XMLCite \textit{S. Zhang} and \textit{X. Han}, J. Qufu Norm. Univ., Nat. Sci. 17, No. 2, 102--106 (1991; Zbl 0736.01001)
Fabrikant, V. A. (ed.) Scientific correspondence of P. N. Lebedev. (Nauchnaya perepiska P. N. Lebedeva). Comp. by E. I. Pogrebysskaya. Transl. from the German, French and English by T. N. Klado. (Nauchnaya perepiska P. N. Lebedeva.) (Russian. English summary) Zbl 0726.01021 Nauchnoe Nasledstvo, 15. Moskva: Nauka. 502 p. R. 9.00 (1990). Reviewer: Li Xiang (Guiyang) MSC: 01A70 01A55 01A60 PDFBibTeX XMLCite \textit{V. A. Fabrikant} (ed.), Nauchnaya perepiska P. N. Lebedeva (Russian). Comp. by E. I. Pogrebysskaya. Transl. from the German, French and English by T. N. Klado. Moskva: Nauka (1990; Zbl 0726.01021)
Sheinin, O. B. A. A. Chuprov. Life, work, correspondence. (А. А. Чупров. Жизн’, творчество, переписка.) (Russian) Zbl 0719.01020 Moskva: Gosudarstvennyj Komitet SSSR po Statistike, Informatsionno- Izdatel’skij Tsentr. 147 p. (1990). Reviewer: Xiang Li (Guiyang) MSC: 01A70 62-03 PDFBibTeX XMLCite \textit{O. B. Sheinin}, А. А. Чупров. Жизн', творчество, переписка (Russian). Moskva: Gosudarstvennyj Komitet SSSR po Statistike, Informatsionno-Izdatel'skij Tsentr (1990; Zbl 0719.01020)
Scedrov, A. A brief guide to linear logic. (English) Zbl 0755.03005 Bull. EATCS 41, 154-165 (1990). Reviewer: Li Xiang (Guiyang) MSC: 03B20 68Q99 68T27 03F05 PDFBibTeX XMLCite \textit{A. Scedrov}, Bull. EATCS 41, 154--165 (1990; Zbl 0755.03005)
Yang, Shuchun On Liu Hui’s “ratio” and “power” in his commentary on arithmetic in nine sections. (Chinese. English summary) Zbl 0734.01006 J. Northeast Norm. Univ., Nat. Sci. Ed. 1990, No. 4, 39-43 (1990). Reviewer: Li Xiang (Guiyang) MSC: 01A25 PDFBibTeX XMLCite \textit{S. Yang}, J. Northeast Norm. Univ., Nat. Sci. Ed. 1990, No. 4, 39--43 (1990; Zbl 0734.01006)
Courcelle, Bruno The monadic second-order logic of graphs. IV: Definability properties of equational graphs. (English) Zbl 0731.03006 Ann. Pure Appl. Logic 49, No. 3, 193-255 (1990). Reviewer: Li Xiang (Guiyang) MSC: 03B25 68R10 03C85 03B15 PDFBibTeX XMLCite \textit{B. Courcelle}, Ann. Pure Appl. Logic 49, No. 3, 193--255 (1990; Zbl 0731.03006) Full Text: DOI
Courcelle, Bruno The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. (English) Zbl 0722.03008 Inf. Comput. 85, No. 1, 12-75 (1990). Reviewer: Li Xiang (Guiyang) MSC: 03B15 68R10 05C75 05C65 03B25 68Q45 08A70 PDFBibTeX XMLCite \textit{B. Courcelle}, Inf. Comput. 85, No. 1, 12--75 (1990; Zbl 0722.03008) Full Text: DOI
Yakhnis, Alexander; Yakhnis, Vladimir Extension of Gurevich-Harrington’s restricted memory determinacy theorem: A criterion for the winning player and an explicit class of winning strategies. (English) Zbl 0716.03036 Ann. Pure Appl. Logic 48, No. 3, 277-297 (1990). Reviewer: Li Xiang MSC: 03D05 91A05 68Q10 03B25 91A80 03E60 68Q60 PDFBibTeX XMLCite \textit{A. Yakhnis} and \textit{V. Yakhnis}, Ann. Pure Appl. Logic 48, No. 3, 277--297 (1990; Zbl 0716.03036) Full Text: DOI
Li, Xiang; Li, Guangyuan Medium logic and Woodruff’s three-valued logic. (English) Zbl 0709.03018 Chin. Sci. Bull. 35, No. 8, 622-626 (1990). Reviewer: Li Xiang (Guiyang) MSC: 03B50 PDFBibTeX XMLCite \textit{X. Li} and \textit{G. Li}, Chin. Sci. Bull. 35, No. 8, 622--626 (1990; Zbl 0709.03018)
Dvornikov, S. G.; Rybina, T. V. Denseness properties of the lattice of separation-degrees. (English. Russian original) Zbl 0708.03021 Sib. Math. J. 31, No. 1, 52-57 (1990); translation from Sib. Mat. Zh. 31, No. 1(179), 64-69 (1990). Reviewer: Li Xiang MSC: 03D30 PDFBibTeX XMLCite \textit{S. G. Dvornikov} and \textit{T. V. Rybina}, Sib. Math. J. 31, No. 1, 52--57 (1990; Zbl 0708.03021); translation from Sib. Mat. Zh. 31, No. 1(179), 64--69 (1990) Full Text: DOI
Martzloff, Jean-Claude Un exemple de mathématiques chinoises non triviales: Les formules sommatoires finies de Li Shanlan (1811–1882). (An example of non-trivial Chinese mathematics: the finite summation formulae of Li Shanlan (1811–1882)). (French) Zbl 0703.01002 Rev. Hist. Sci. 43, No. 1, 81-98 (1990). Reviewer: Li Xiang MSC: 01A25 05-03 11-03 PDFBibTeX XMLCite \textit{J.-C. Martzloff}, Rev. Hist. Sci. 43, No. 1, 81--98 (1990; Zbl 0703.01002) Full Text: DOI
Jiang, Xiaoyuan Planetary theories of Babylon and ancient China. (Chinese. English summary) Zbl 0747.01003 Acta Astron. Sin. 31, No. 4, 342-348 (1990). Reviewer: Li Xiang (Guiyang) MSC: 01A25 01A17 85-03 PDFBibTeX XMLCite \textit{X. Jiang}, Acta Astron. Sin. 31, No. 4, 342--348 (1990; Zbl 0747.01003)
Apokin, I. A.; Maĭstrov, L. E. History of computer science. From the simplest calculators to complex relay systems. (История вычислительной техники. От простейших счетных приспособлений до сложных релейных систем.) (Russian. English summary) Zbl 0722.68002 Moskva: Nauka. 264 p. R. 3.00 (1989). Reviewer: Li Xiang (Guiyang) MSC: 68-03 01A40 01A60 PDFBibTeX XMLCite \textit{I. A. Apokin} and \textit{L. E. Maĭstrov}, История вычислительной техники. От простейших счетных приспособлений до сложных релейных систем (Russian). Moskva: Nauka (1989; Zbl 0722.68002)
Wu, Zhende The research works of Professor S. D. Liao in algebraic topology. (Chinese. English summary) Zbl 0712.01003 Adv. Math., Beijing 18, No. 2, 180-183 (1989). Reviewer: Li Xiang MSC: 01A65 55M05 55M20 55R25 PDFBibTeX XMLCite \textit{Z. Wu}, Adv. Math., Beijing 18, No. 2, 180--183 (1989; Zbl 0712.01003)
Hájek, Petr; Kučera, Antonín On recursion theory in \(I\Sigma_ 1\). (English) Zbl 0703.03019 J. Symb. Log. 54, No. 2, 576-589 (1989). Reviewer: Li Xiang MSC: 03D25 03F30 PDFBibTeX XMLCite \textit{P. Hájek} and \textit{A. Kučera}, J. Symb. Log. 54, No. 2, 576--589 (1989; Zbl 0703.03019) Full Text: DOI
Smith, Jan M. Propositional functions and families of types. (English) Zbl 0694.03038 Notre Dame J. Formal Logic 30, No. 3, 442-458 (1989). Reviewer: Li Xiang MSC: 03F35 68Q65 68Q60 PDFBibTeX XMLCite \textit{J. M. Smith}, Notre Dame J. Formal Logic 30, No. 3, 442--458 (1989; Zbl 0694.03038) Full Text: DOI
Ding, Dechen Nonbounding theorem of wtt-degrees. (Chinese) Zbl 0694.03028 Acta Math. Sin. 32, No. 6, 736-748 (1989). Reviewer: Li Xiang MSC: 03D30 03D25 PDFBibTeX XMLCite \textit{D. Ding}, Acta Math. Sin. 32, No. 6, 736--748 (1989; Zbl 0694.03028)
Koban, M. A.; Ratsa, M. F. On formula-completeness in 4-valued extension of the pretabular modal logic PM4. (Russian) Zbl 0694.03015 Izv. Akad. Nauk Mold. SSR, Ser. Fiz.-Tekh. Mat. Nauk 1989, No. 3, 13-16 (1989). Reviewer: Li Xiang MSC: 03B45 03B50 03C90 PDFBibTeX XMLCite \textit{M. A. Koban} and \textit{M. F. Ratsa}, Izv. Akad. Nauk Mold. SSR, Ser. Fiz.-Tekh. Mat. Nauk 1989, No. 3, 13--16 (1989; Zbl 0694.03015)
Gao, Hengshan Some modal extensions of several weak logics. (Chinese) Zbl 0694.03014 Acta Math. Sin. 32, No. 5, 678-689 (1989). Reviewer: Li Xiang MSC: 03B45 03C90 PDFBibTeX XMLCite \textit{H. Gao}, Acta Math. Sin. 32, No. 5, 678--689 (1989; Zbl 0694.03014)
Corsi, Giovanna; Ghilardi, Silvio Directed frames. (English) Zbl 0689.03009 Arch. Math. Logic 29, No. 1, 53-67 (1989). Reviewer: Li Xiang MSC: 03B45 03B55 PDFBibTeX XMLCite \textit{G. Corsi} and \textit{S. Ghilardi}, Arch. Math. Logic 29, No. 1, 53--67 (1989; Zbl 0689.03009) Full Text: DOI
Huang, Wenqi; Chen, Zhixiang Nondistributive and noncomplemental properties of the semilattice of k-1- degrees of recursive sets. (Chinese) Zbl 0686.03017 Acta Math. Sin. 32, No. 4, 517-524 (1989). Reviewer: Li Xiang MSC: 03D15 03D30 68Q25 PDFBibTeX XMLCite \textit{W. Huang} and \textit{Z. Chen}, Acta Math. Sin. 32, No. 4, 517--524 (1989; Zbl 0686.03017)
Chong, C. T. Recursively enumerable sets in models of \(\Sigma _ 2\) collection. (English) Zbl 0676.03027 Mathematical logic and applications, Proc. Logic Meet., Kyoto/Japan 1987, Lect. Notes Math. 1388, 1-15 (1989). Reviewer: Li Xiang MSC: 03D25 03F30 03C62 PDFBibTeX XML
Muravitskij, A. Yu. Immersion of the extended Grzegorczyk logic into extensions of provability logic. (Russian) Zbl 0732.03013 Intensional logics and the logical structure of theories, Proc. 4th Sov.- Finn. Symp. Logic, Telavi (USSR) 1985, 74-80 (1988). Reviewer: Li Xiang (Guiyang) MSC: 03B45 03F40 PDFBibTeX XML
Sui, Yuefei A relation among the higher type recursion theory, the Kleene recursion theory and the common recursion theory. (Chinese) Zbl 0683.03026 Acta Math. Sin. 31, No. 4, 558-564 (1988). Reviewer: Li Xiang MSC: 03D65 03D55 PDFBibTeX XMLCite \textit{Y. Sui}, Acta Math. Sin. 31, No. 4, 558--564 (1988; Zbl 0683.03026)
Goncharov, S. S. A family with a unique single-valued, but not the minimal numeration. (Russian) Zbl 0683.03025 Tr. Inst. Mat. 8, 42-58 (1988). Reviewer: Li Xiang MSC: 03D45 03D25 PDFBibTeX XML
Roy, Dev K.; Watnick, Richard Finite condensations of recursive linear orders. (English) Zbl 0673.03034 Stud. Log. 47, No. 4, 311-317 (1988). Reviewer: Li Xiang MSC: 03D55 06A05 PDFBibTeX XMLCite \textit{D. K. Roy} and \textit{R. Watnick}, Stud. Log. 47, No. 4, 311--317 (1988; Zbl 0673.03034) Full Text: DOI
Freivalds, Rūsiņš; Kinber, Efim B.; Wiehagen, Rolf Probabilistic versus deterministic inductive inference in nonstandard numberings. (English) Zbl 0672.03026 Z. Math. Logik Grundlagen Math. 34, No. 6, 531-539 (1988). Reviewer: Li Xiang MSC: 03D20 68Q99 03D10 PDFBibTeX XMLCite \textit{R. Freivalds} et al., Z. Math. Logik Grundlagen Math. 34, No. 6, 531--539 (1988; Zbl 0672.03026) Full Text: DOI
Nepejvoda, N. N. A constructive logic of program schemata on a decidable universe. (English) Zbl 0666.03025 Bull. Sect. Logic, Pol. Acad. Sci. 17, No. 3-4, 138-147 (1988). Reviewer: Li Xiang MSC: 03B70 68Q60 PDFBibTeX XMLCite \textit{N. N. Nepejvoda}, Bull. Sect. Logic, Pol. Acad. Sci. 17, No. 3--4, 138--147 (1988; Zbl 0666.03025)
Davenport, James H.; Heintz, Joos Real quantifier elimination is doubly exponential. (English) Zbl 0663.03015 J. Symb. Comput. 5, No. 1-2, 29-35 (1988). Reviewer: Li Xiang MSC: 03C10 68Q25 12L05 68W30 12D99 PDFBibTeX XMLCite \textit{J. H. Davenport} and \textit{J. Heintz}, J. Symb. Comput. 5, No. 1--2, 29--35 (1988; Zbl 0663.03015) Full Text: DOI
Hailperin, Theodore The development of probability logic from Leibniz to MacColl. (English) Zbl 0658.01009 Hist. Philos. Log. 9, No. 2, 131-191 (1988). Reviewer: Li Xiang MSC: 01A55 01A50 03-03 PDFBibTeX XMLCite \textit{T. Hailperin}, Hist. Philos. Log. 9, No. 2, 131--191 (1988; Zbl 0658.01009) Full Text: DOI
Quaife, Art Automated proofs of Löb’s theorem and Gödel’s two incompleteness theorems. (English) Zbl 0657.03007 J. Autom. Reasoning 4, No. 2, 219-231 (1988). Reviewer: Li Xiang MSC: 03B35 03B45 68T15 PDFBibTeX XMLCite \textit{A. Quaife}, J. Autom. Reasoning 4, No. 2, 219--231 (1988; Zbl 0657.03007) Full Text: DOI
Schmidt-Schauss, Manfred Implication of clauses is undecidable. (English) Zbl 0657.03006 Theor. Comput. Sci. 59, No. 3, 287-296 (1988). Reviewer: Li Xiang MSC: 03B35 03B25 03D35 68T15 PDFBibTeX XMLCite \textit{M. Schmidt-Schauss}, Theor. Comput. Sci. 59, No. 3, 287--296 (1988; Zbl 0657.03006) Full Text: DOI
van Benthem, Johan Towards a computational semantics. (English) Zbl 0731.03020 Generalized quantifiers. Linguistic and logical approaches, Proc. Workshop, Lund/Sweden 1985, Stud. Linguist. Philos. 31, 31-71 (1987). Reviewer: Li Xiang (Guiyang) MSC: 03B65 68T50 68Q45 03D05 03C80 03B45 PDFBibTeX XML
Hu, Qingping Some notes on the products of universal algebras. (Chinese) Zbl 0672.08001 Acta Math. Sin. 30, No. 6, 780-787 (1987). Reviewer: Li Xiang MSC: 08A05 03C05 PDFBibTeX XMLCite \textit{Q. Hu}, Acta Math. Sin. 30, No. 6, 780--787 (1987; Zbl 0672.08001)
Mo, Shokui The reduction of axioms of set theory and the powers of cardinals. (Chinese. English summary) Zbl 0642.03030 Chin. Ann. Math., Ser. A 8, No. 1-5, 189-194 (1987). Reviewer: Li Xiang MSC: 03E30 03E10 03E25 03E50 PDFBibTeX XMLCite \textit{S. Mo}, Chin. Ann. Math., Ser. A 8, No. 1--5, 189--194 (1987; Zbl 0642.03030)
Yong, Lam Lay The Chinese rod numeral legacy and its impact on mathematics. (English) Zbl 0639.01004 Math. Medley 15, 52-59 (1987). Reviewer: Li Xiang MSC: 01A25 PDFBibTeX XMLCite \textit{L. L. Yong}, Math. Medley 15, 52--59 (1987; Zbl 0639.01004)
Du, Ruizhi Al-Khowârizmî and his algebraic treatise. (Chinese) Zbl 0638.01003 Math. Pract. Theory 1987, No. 1, 79-85 (1987). Reviewer: Li Xiang MSC: 01A30 01A35 PDFBibTeX XMLCite \textit{R. Du}, Math. Pract. Theory 1987, No. 1, 79--85 (1987; Zbl 0638.01003)
Duduchava, I. M. (ed.); Burchuladze, T. V. (ed.); Gurgenidze, N. A. (ed.) Vladimir Dmitrievich Kupradze (1903–1985). Biobibliography. Compiled by I. M. Duduchava. Ed. by T. V. Burchuladze and N. A. Gurgenidze. (Владимир Дмитриевич Купрадзе (1903–1985). Биобиблиография.) (Russian, Georgian) Zbl 0658.01022 Biobibliograficheskaya Seriya “Gruzinskie Uchenye”. Tbilisi (USSR): Metsniereba. 104 p. R. 0.80 (1986). Reviewer: Li Xiang MSC: 01A70 PDFBibTeX XML
Zhang, Jinwen Conglomerates, and ordinal numbers and cardinal numbers of type two. (Chinese) Zbl 0638.03045 Acta Math. Sin. 29, 217-223 (1986). Reviewer: Li Xiang MSC: 03E30 03E10 18A15 PDFBibTeX XMLCite \textit{J. Zhang}, Acta Math. Sin. 29, 217--223 (1986; Zbl 0638.03045)
Karavaev, Yu. V. Influence of the University Charter of 1884 on teaching mechanics at Moscow University. (Russian. English summary) Zbl 0627.01042 Istor. Metodol. Estestv. Nauk, Mat. Mekh. 32, 185-189 (1986). Reviewer: Li Xiang MSC: 01A73 74-03 01A55 PDFBibTeX XML
Shen, Kangshen Analysis on Shushu Jiuzhang to its propositions about theory of numbers. (Chinese. English summary) Zbl 0623.01002 J. Hangzhou Univ., Nat. Sci. Ed. 13, 421-434 (1986). Reviewer: Li Xiang MSC: 01A25 11-03 PDFBibTeX XMLCite \textit{K. Shen}, J. Hangzhou Univ., Nat. Sci. Ed. 13, 421--434 (1986; Zbl 0623.01002)
Zharov, V. K. On two problems in the tractate “Nine books on mathematics” by Ch’in Chiu-shao. (Russian) Zbl 0623.01001 Istor.-Mat. Issled. 30, 338-343 (1986). Reviewer: Li Xiang MSC: 01A25 PDFBibTeX XMLCite \textit{V. K. Zharov}, Istor.-Mat. Issled. 30, 338--343 (1986; Zbl 0623.01001)
Tao, Renji Introduction to automata theory. (Chinese) Zbl 0616.68052 Beijing: Science Press. V, 332 p. (1986). Reviewer: Li Xiang MSC: 68Q45 68-01 68Q05 03D20 03D10 03D60 68Q25 94C10 PDFBibTeX XML
van Emden, M. H. Quantitative deduction and its fixpoint theory. (English) Zbl 0609.68068 J. Logic Program. 3, 37-53 (1986). Reviewer: Li Xiang MSC: 68T15 03B52 03B35 68N01 91A05 PDFBibTeX XMLCite \textit{M. H. van Emden}, J. Log. Program. 3, 37--53 (1986; Zbl 0609.68068) Full Text: DOI
Lam, Lay-Yong The conceptual origins of our numeral system and the symbolic form of algebra. (English) Zbl 0609.01004 Arch. Hist. Exact Sci. 36, 183-195 (1986). Reviewer: Li Xiang MSC: 01A25 PDFBibTeX XMLCite \textit{L.-Y. Lam}, Arch. Hist. Exact Sci. 36, 183--195 (1986; Zbl 0609.01004) Full Text: DOI
Goncharov, S. S.; Sviridenko, D. I. \(\Sigma\)-programming. (Russian) Zbl 0628.03015 Vychisl. Sist. 107, 3-29 (1985). Reviewer: Li Xiang MSC: 03B70 68N01 03C70 03D60 68Q65 PDFBibTeX XMLCite \textit{S. S. Goncharov} and \textit{D. I. Sviridenko}, Vychisl. Sist. 107, 3--29 (1985; Zbl 0628.03015)
Berezkina, Eh. I. Mathematical treatise of Hsia-hon Yang. (Translation from Chinese and commentary by Eh. I. Berezkina). (Russian) Zbl 0603.01002 Istor.-Mat. Issled. 28, 293-337 (1985). Reviewer: Li Xiang MSC: 01A25 PDFBibTeX XMLCite \textit{Eh. I. Berezkina}, Istor.-Mat. Issled. 28, 293--337 (1985; Zbl 0603.01002)
Lebesgue, Henry Preface to N. N. Luzin’s book ”Leçons sur les ensembles analytiques et leurs applications”. (Russian) Zbl 0596.01037 Usp. Mat. Nauk 40, No. 3(243), 9-14 (1985). Reviewer: Li Xiang MSC: 01A75 01A60 03-03 PDFBibTeX XMLCite \textit{H. Lebesgue}, Usp. Mat. Nauk 40, No. 3(243), 9--14 (1985; Zbl 0596.01037)
Ershov, Yu. L. Dynamic logic over admissible sets. (English. Russian original) Zbl 0576.68009 Sov. Math., Dokl. 28, 739-742 (1983); translation from Dokl. Akad. Nauk SSSR 273, 1045-1048 (1983). Reviewer: Li Xiang MSC: 68Q65 68P05 03C70 PDFBibTeX XMLCite \textit{Yu. L. Ershov}, Sov. Math., Dokl. 28, 739--742 (1983; Zbl 0576.68009); translation from Dokl. Akad. Nauk SSSR 273, 1045--1048 (1983)
Guo, Yuqi; Wang, Shuiding; Li, Lian The Prodinger problem and the Schreier method of regular languages. (Chinese) Zbl 0571.68052 Acta Math. Sin. 26, 332-340 (1983). Reviewer: Li Xiang MSC: 68Q45 20M35 PDFBibTeX XMLCite \textit{Y. Guo} et al., Acta Math. Sin. 26, 332--340 (1983; Zbl 0571.68052)
Yang, Shoulian Ultrafilters with chain bases and their applications. (Chinese) Zbl 0588.04010 Acta Math. Sin. 25, 114-121 (1982). Reviewer: Li Xiang MSC: 03E05 03C20 PDFBibTeX XMLCite \textit{S. Yang}, Acta Math. Sin. 25, 114--121 (1982; Zbl 0588.04010)