عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
7831
Plumpton, C.
Proof
London
Macmillan
1984
vi, 88 p. :ill
، Proof theory
QA
9
.
54
.
P59
AU
C.Plumpton, R.L.Perry, E.Shipton
AU .L.R ,yrreP
AU .E ,notpihS
TI
TI
