Número de Cutter-SanbornS349nEntrada «Schmidt» → 349 · marca de obra “n”

Natural deduction theorem proving in set theory.

Autor	David Schmidt
Editorial	Dept. of Computer Science, Univ. of Edinburgh
Fecha de publicación	1983
Lugar	Edinburgh
Idioma	inglés
Páginas	18
Serie	Internal report -- CSR-142-83
Número de Cutter	`S349n`

Natural deduction theorem proving in set theory. (1983) | Cutter Number