海量图书期刊资源,随时随地畅享阅读乐趣
Publication Notices: Book NoticesAmerican Journal of Evaluation · 1988
Publication Notices: Book NoticesAmerican Journal of Evaluation · 1986
Notices Bibliographiques / Bibliographical NoticesSocial Compass · 1965
Who Notices the Notices?Jackson, Eric · Veterinary Nursing Journal · 1997
NOTICES OF RECENT PUBLICATIONS: SHORTER NOTICESBrain · 1972
NOTICES: AGS COURSE NOTICESJournal of the American Geriatrics Society · 1991
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