Barwise, Jon
Hyperproof [Documento electrónico] / Jon Barwise, John Etchemendy. - Stanford, US : CSLI Publications , cop. 1994 . - 1 disquete ; 10 cm.
ISBN 1-881526-11-9
Informática
Lógica matemática
LCC QA76
Hyperproof [Documento electrónico] / Jon Barwise, John Etchemendy. - Stanford, US : CSLI Publications , cop. 1994 . - 1 disquete ; 10 cm.
ISBN 1-881526-11-9
Informática
Lógica matemática
LCC QA76