Gaya APA
Andrews, Peter B.. (1986).
An introduction to mathematical logic and type theory : to truth through proof / Peter B.,Andrews .
:
Orlando : Academic Press.
Gaya Chicago
Andrews, Peter B..
An introduction to mathematical logic and type theory : to truth through proof / Peter B.,Andrews.
:
Orlando : Academic Press,
1986.
Buku.
Gaya MLA
Andrews, Peter B..
An introduction to mathematical logic and type theory : to truth through proof / Peter B.,Andrews.
:
Orlando : Academic Press,
1986.
Buku.
Gaya Turabian
Andrews, Peter B..
An introduction to mathematical logic and type theory : to truth through proof / Peter B.,Andrews.
:
Orlando : Academic Press,
1986.
Buku.