Caricamento...
Proofs and computations /
Autori principali: | , |
---|---|
Ente Autore: | |
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 onlyContributor biographical information
Publisher description
University of Calicut
Collocazione: |
511.352 |
---|---|
Copia | Status in tempo reale non disponibile |