Número de Cutter-SanbornP332iEntrada «Pauls» → 332 · marca de obra “i”

Interactive theorem proving with Cambridge LCF

a user's manual.

Autor	Lawrence C. Paulson
Editorial	University of Cambridge,Computer Laboratory
Fecha de publicación	1985
Lugar	Cambridge
Idioma	inglés
Páginas	140
Serie	Technical report -- No.80
Número de Cutter	`P332i`

Interactive theorem proving with Cambridge LCF (1985) | Cutter Number