MathSciNet bibliographic data

MR1731947 (2000i:68174) 68T27 (03B70) Zhang, Yu Ping Deduction properties of some logics applied to computer science. (Chinese) Chinese J. Comput. 22 (1999), no. 6, 571--576.

Links to the journal or article are not yet available

For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

Username/Password Subscribers access MathSciNet here

AMS Home Page American Mathematical Society 201 Charles Street Providence, RI 02904-6248 USA © Copyright 2009, American Mathematical Society Privacy Statement