Número de Cutter-SanbornU56hEntrada «Underw» → 56 · marca de obra “h”

Higher-Order Logic and Type Theory

Name: Higher-Order Logic and Type Theory
ISBN: 9781108986908

Autor	John L. Bell - undifferentiated
Editorial	Cambridge University Press
Fecha de publicación	2022
Idioma	inglés
ISBN-13	9781108986908
Número de Cutter	`U56h`

Higher-Order Logic and Type Theory (2022) — ISBN 9781108986908 | Cutter Number