THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS

Tipo: Libro
Editorial: SPRINGER
ISBN: 3-540-28372-2
Total de publicaciones: 2