海量图书期刊资源,随时随地畅享阅读乐趣
[Library and Information Science] Information Tasks Volume 96 || Information InstitutionsAllen, Bryce · 1996
[Library and Information Science] Information Tasks Volume 96 || Information NeedsAllen, Bryce · 1996
[Library and Information Science] Information Tasks Volume 96 || Information Needs and Information DesignAllen, Bryce · 1996
[Library and Information Science] Information Tasks Volume 96 || Expressing Information NeedsAllen, Bryce · 1996
[The Information Retrieval Series] Social Information Seeking Volume 38 || Information SeekingShah, Chirag · 2017
[Oil Information] Oil Information 2012 Volume 601 ||, · 2012
Information Systems Success || Volume InformationJournal of Management Information Systems · 2003
Multi-lingual Information Management || Volume InformationComputers and the Humanities · 2001
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008