Constructive order types
Collection : Studies in logic and the foundations of mathematics Détails physiques : 1 online resource (225 pages). ISBN :9780444534200; 0444534202.
Sujet(s) :
Logic, Symbolic and mathematical.
|
Logique symbolique et mathématique.
|
Constructieve wiskunde.
|
Electronic books.
|
Logic, Symbolic and mathematical.
Ressources en ligne :
Exemplaires : http://www.sciencedirect.com/science/book/9780444534200
Includes bibliographical references (pages 215-216).
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Description based on print version record.
Il n'y a pas de commentaire pour ce document.