著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Cutland, Nigel and Di Nasso, Mauro and Ross, David A.",Nonstandard methods and applications in mathematics,,Association for Symbolic Logic,2006,Lecture notes in logic,,"1568812914,1568812922",,https://cir.nii.ac.jp/crid/1130282271322571392