Language, proof and logic

Type

MON

Creator

Barker-Plummer, Dave

Publisher

CSLI Publications

Identifier

URN:ISBN:9781575866321

Title

Language, proof and logic

Contributor

Barwise, Jon
Etchemendy, John
Liu, Albert, colaborador
Murray, Michael, colaborador
Pease, Emma, colaborador

Date

cop. 2011

Description

Contém: Language, proof and logic:software manual / Dave Barker... [et al.]. 2nd ed. Standford; CSLI, cop. 2015. VIII, 61 p.

Language

eng

Comments