-
西文图书1.A transition to proof : an introduction to advanced mathematics / O13/N627
馆藏复本:1
可借复本:0 Neil R. Nicholson.
CRC Press, Taylor & Francis Group, c2019.
(0) 馆藏
-
西文图书2.Proof theory / 2nd ed. O141.2/T136
馆藏复本:1
可借复本:0 Gaisi Takeuti.
North-Holland ; 1987.
(0) 馆藏
-
西文图书3.Algebra of proofs / O14/S996
馆藏复本:1
可借复本:0 M. E. Szabo.
North-Holland Pub. Co. : 1978.
(0) 馆藏