APA Style
BORNAT, RICHARD. (2005).
Proof and disproof in formal logic : an introduction for programmers (1).
New York:
Oxford University press.
Chicago Style
BORNAT, RICHARD.
Proof and disproof in formal logic : an introduction for programmers.
1
New York:
Oxford University press,
2005.
TXB.
MLA Style
BORNAT, RICHARD.
Proof and disproof in formal logic : an introduction for programmers.
1
New York:
Oxford University press,
2005.
TXB.
Turabian Style
BORNAT, RICHARD.
Proof and disproof in formal logic : an introduction for programmers.
1
New York:
Oxford University press,
2005.
TXB.