3
1
10
Proofs from the book /
Aigner, Martin
Primary Author
mixed material
0761975772
Berlin: Springer
2004
https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F29340.jpg
An introduction to mathematical logic and type theory :
to truth through proof / Peter B.,Andrews
Andrews, Peter B.
Primary Author
mixed material
0120585367
Orlando : Academic Press
1986
https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F11875.jpg
Pengantar sederhana matematika baru :
logika / oleh Herman Hudojo
Hudojo, Herman
Primary Author
mixed material
Malang : FKIE IKIP Malang
0
https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F11706.jpg