Caricamento...

Proofs and computations /

Dettagli Bibliografici
Autori principali: Schwichtenberg, Helmut, Wainer, S. S. (Autore)
Ente Autore: Association for Symbolic Logic
Natura: Printed Book
Lingua:English
Pubblicazione: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Serie:Perspectives in logic.
Soggetti:
Accesso online:Table of contents only
Contributor biographical information
Publisher description

Accesso online

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Dettagli sul posseduto da University of Calicut
Collocazione: 511.352
Copia Status in tempo reale non disponibile