%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/

%% Created for Conden Chao at 2019-12-10 22:42:23 +0800 


%% Saved with string encoding Unicode (UTF-8) 

@misc{Sllj2021,
	Addendum = {初稿.},
	Author = {赵晓玉},
	Language = {chinese},
	Title = {数理逻辑: 形式化方法的应用},
	Type = {Z},
	Year = {2021}}

@misc{Lsyc2017,
	Addendum = {初稿.},
	Author = {赵晓玉},
	Language = {chinese},
	Title = {\LaTeX{}中文用户实用手册},
	Type = {Z},
	Year = {2017}}

@book{Tcmf1980,
	Author = {Knuth, D. E.},
	Location = {California},
	Publisher = {Stanford University},
	Title = {The Computer Modern Family of Typefaces},
	Type = {M},
	Year = {1980}}

@misc{Imut2009,
	Author = {Knuth, D. E.},
	Date = {2009-01},
	Title = {Important Message to All Users of \TeX{}},
	Type = {Z/OL},
	Url = {https://www-cs-faculty.stanford.edu/~knuth/cm.html},
	Urldate = {2020-09-04},
	Bdsk-Url-1 = {https://www-cs-faculty.stanford.edu/~knuth/cm.html}}

@misc{Rsrm1991,
	Author = {R. Smith},
	Date = {1991-10-27},
	Title = {Readme},
	Type = {Z/OL},
	Url = {https://www.ctan.org/tex-archive/fonts/rsfs},
	Urldate = {2021-12-11},
	Bdsk-Url-1 = {https://www.ctan.org/tex-archive/fonts/rsfs}}

@misc{Uams2002,
	Author = {American~Mathematical~Society},
	Date = {2002-01},
	Title = {User's Guide to AMSFonts Version 2.2d},
	Type = {Z/OL},
	Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/amsfonts/doc/amsfndoc.pdf},
	Urldate = {2021-12-11},
	Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/amsfonts/doc/amsfndoc.pdf}}

@misc{Tnps2006,
	Author = {Linotype},
	Location = {GmbH},
	Publisher = {Linotype},
	Title = {The New Palatino{\texttrademark} Sans: A Supplement to Palatino Nova Designed by Hermann Zapf},
	Type = {Z/OL},
	Url = {http://www.linotype.co.jp/linotype%20volumes/Palatino%20Sans%20Brochure.pdf},
	Urldate = {2020-09-04},
	Year = {2006},
	Bdsk-Url-1 = {http://www.linotype.co.jp/linotype%20volumes/Palatino%20Sans%20Brochure.pdf}}

@misc{Ramf2013,
	Author = {American~Mathematical~Society},
	Date = {2013-01-14},
	Title = {Readme for \texttt{amsfonts} 3.04},
	Type = {Z/OL},
	Url = {https://www.ctan.org/tex-archive/fonts/amsfonts},
	Urldate = {2021-12-11},
	Bdsk-Url-1 = {https://www.ctan.org/tex-archive/fonts/amsfonts}}

@misc{Tdsf1998,
	Author = {O. Kummer},
	Date = {1998-09-06},
	Title = {The Doublestroke Font V1.0},
	Type = {Z/OL},
	Url = {http://www.ctex.org/documents/packages/math/dsdoc.pdf},
	Urldate = {2021-12-29},
	Bdsk-Url-1 = {http://www.ctex.org/documents/packages/math/dsdoc.pdf}}

@misc{Tpvd1997,
	Author = {O. Kummer},
	Date = {1997-07-08},
	Title = {The Preview Document},
	Type = {Z/OL},
	Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/symbols/blackboard/blackboard.ps},
	Urldate = {2021-12-11},
	Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/symbols/blackboard/blackboard.ps}}

@misc{Tmap2021,
	title={The \textsf{mathalpha}, AKA \textsf{mathalfa} Package},
	author={M. Sharpe},
	type={Z/OL},
	date={2021-11-18},
	url={https://mirrors.tuna.tsinghua.edu.cn/CTAN/macros/latex/contrib/mathalpha/doc/mathalpha-doc.pdf},
	Urldate = {2021-12-11},
	Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/macros/latex/contrib/mathalpha/doc/mathalpha-doc.pdf}}

@misc{Asfm2006,
	title={A Survey of Free Math Fonts for \TeX{} and \LaTeX{}},
	author={Hartke, S. G.},
	type={Z/OL},
	date={2006-05-06},
	url={https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/Free_Math_Font_Survey/en/survey.pdf},
	Urldate = {2021-12-11},
	Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTANinfo/Free_Math_Font_Survey/en/survey.pdf}}

@misc{Rdme2021,
	Author = {A. Tsolomitis},
	Date = {2021-12-09},
	Title = {Readme},
	Type = {Z/OL},
	Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/newcomputermodern/README},
	Urldate = {2021-12-11},
	Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/newcomputermodern/README}}

@misc{Arch2020,
	Author = {E. Gregorio},
	Date = {2020-03-02},
	Title = {A Reply to ``What are \TeX{} Codes for Hebrew Letters to Be Used as Math-Mode Symbols?"},
	Type = {Z/OL},
	Url = {https://tex.stackexchange.com/a/226850/140814},
	Urldate = {2021-12-08},
	Bdsk-Url-1 = {https://tex.stackexchange.com/a/226850/140814}}

@misc{Arhi2021,
	Author = {D. Carlisle},
	Date = {2021-08-20},
	Title = {A Reply to ``How to Invoke Aleph, Beth, Gimel and Daleth Only in the Latin Modern Math Font?"},
	Type = {Z/OL},
	Url = {https://tex.stackexchange.com/a/611616/140814},
	Urldate = {2021-12-08},
	Bdsk-Url-1 = {https://tex.stackexchange.com/a/611616/140814}}

@misc{Arab2017,
	Author = {H. Oberdiek},
	Date = {2017-04-13},
	Title = {A Reply to ``How to Get Aleph and Beth Symbols in Similar Font?"},
	Type = {Z/OL},
	Url = {https://tex.stackexchange.com/a/170494/140814},
	Urldate = {2021-12-08},
	Bdsk-Url-1 = {https://tex.stackexchange.com/a/170494/140814}}

@misc{Wwdb2020,
	Author = {M. Logic},
	Date = {2020-09-04},
	Title = {Who Designed the Mathematical Blackboard Bold Letters of \AmS{}, and When?},
	Type = {Z/OL},
	Url = {https://tex.stackexchange.com/q/561380/140814},
	Urldate = {2021-12-08},
	Bdsk-Url-1 = {https://tex.stackexchange.com/q/561380/140814}}

@misc{Wdvs2020,
	Author = {E. Gregorio},
	Date = {2020-01-27},
	Title = {A Reply to ``What Does the \texttt{\textbackslash var} Prefix Stand for in \texttt{\textbackslash varphi} and \texttt{\textbackslash varepsilon} Etc?"},
	Type = {Z/OL},
	Url = {https://tex.stackexchange.com/a/304576/140814},
	Urldate = {2021-12-25},
	Bdsk-Url-1 = {https://tex.stackexchange.com/a/304576/140814}}

@misc{Tcpb2020,
	Author = {C.(赵晓玉) Chao and S. Murugaiah},
	Date = {2020-09-17},
	Title = {The \texttt{cmathbb} Package: To Call Mathematical Blackboard Bold Characters Compatible with the Computer Modern Font Family, Version 1.0},
	Type = {Z/OL},
	Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/cmathbb/doc/cmathbb.pdf},
	Urldate = {2021-12-11},
	Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/cmathbb/doc/cmathbb.pdf}}

@book{Mmil2016,
	Author = {G. Gr{\"a}tzer},
	Edition = {5},
	Location = {Cham, Heidelberg, New York, Dordrecht and London},
	Publisher = {Springer},
	Title = {More Math into \LaTeX{}},
	Type = {M},
	Year = {2016}}

@incollection{Wpga2022,
	Author = {Anonymity},
	Booktitle = {Wikipedia: The Free Eencyclopedia},
	Date = {2022-06-03},
	Location = {Florida},
	Publisher = {Wikimedia Foundation},
	Title = {Greek Alphabet},
	Type = {G/OL},
	Url = {https://en.wikipedia.org/wiki/Greek_alphabet},
	Urldate = {2022-06-23},
	Bdsk-Url-1 = {https://en.wikipedia.org/wiki/Greek_alphabet}}
	
@incollection{Wrog2022,
	Author = {Anonymity},
	Booktitle = {Wikipedia: The Free Eencyclopedia},
	Date = {2022-06-22},
	Location = {Florida},
	Publisher = {Wikimedia Foundation},
	Title = {Romanization of Greek},
	Type = {G/OL},
	Url = {https://en.wikipedia.org/wiki/Romanization_of_Greek},
	Urldate = {2022-06-23},
	Bdsk-Url-1 = {https://en.wikipedia.org/wiki/Romanization_of_Greek}}

@misc{Lrtg2010,
	Author = {{The Library of Congress}},
	Year = {2010},
	Title = {ALA-LC Romanization Tables: Greek},
	Type = {Z/OL},
	Url = {https://www.loc.gov/catdir/cpso/romanization/greek.pdf},
	Urldate = {2022-06-23},
	Bdsk-Url-1 = {https://www.loc.gov/catdir/cpso/romanization/greek.pdf}}

@misc{Tlgb2016,
	Author = {{Thesaurus Linguae Graecae}},
	Date = {2016-01-24},
	Title = {The TLG\textsuperscript{\textregistered} Beta Code Manual},
	Type = {Z/OL},
	Url = {http://stephanus.tlg.uci.edu/encoding/BCM.pdf},
	Urldate = {2022-06-23},
	Bdsk-Url-1 = {http://stephanus.tlg.uci.edu/encoding/BCM.pdf}}

@misc{Tnrg2005,
	Author = {Pedersen, T. T.},
	Date = {2005-07-31},
	Title = {Transliteration of Non-Roman Scripts: Greek},
	Type = {Z/OL},
	Url = {http://transliteration.eki.ee/pdf/Greek.pdf},
	Urldate = {2022-06-23},
	Bdsk-Url-1 = {http://transliteration.eki.ee/pdf/Greek.pdf}}

@misc{Tnrg1996,
	Author = {{National Geospatial-Intelligence Agency}},
	Year = {1996},
	Title = {Romanization Systems and Policies: Greek},
	Type = {Z/OL},
	Url = {https://web.archive.org/web/20130213212545/http://earth-info.nga.mil/gns/html/romanization.html},
	Urldate = {2022-06-23},
	Bdsk-Url-1 = {https://web.archive.org/web/20130213212545/http://earth-info.nga.mil/gns/html/romanization.html}}

@book{Elot2001,
  title={Information and Documentation: Conversion of Greek Characters into Latin Characters},
  author={{Hellenic Organization for Standardization}},
  date={2001-05-04},
  publisher={Hellenic Organization for Standardization},
  edition={2},
  location = {Athens},
  type={S},
  Url={https://sete.gr/files/Media/Egkyklioi/040707Latin-Greek.pdf},
  Urldate={2022-06-23},
  Bdsk-Url-1={https://sete.gr/files/Media/Egkyklioi/040707Latin-Greek.pdf},
  addendum={ELOT 743. In Greek.},
  langid={greek}}
  
  @book{Rung1987,
  title={Report on the Current Status of United Nations Romanization Systems for Geographical Names: Greek},
  author={{Working Group on Romanization Systems, United Nations Group of Experts on Geographical Names}},
  year={1987},
  publisher={United Nations},
  location = {New York},
  type={S},
  Url={http://www.eki.ee/wgrs/rom1_el.htm},
  Urldate={2022-06-23},
  Bdsk-Url-1={http://www.eki.ee/wgrs/rom1_el.htm}}
 
   @book{Idgl1999,
  title={Information and Documentation: Conversion of Greek Characters into Latin Characters},
  author={{International Organization for Standardization}},
  date={1999-05-01},
  publisher={International Organization for Standardization},
  location = {Geneva},
  type={S},
  Url={https://cornerstone.ucoz.ru/Greek_Translatiration_ISO8431997.pdf},
  Urldate={2022-06-23},
  addendum={ISO 843. Correction and reprint of the first edition in 1997.},
  Bdsk-Url-1={https://cornerstone.ucoz.ru/Greek_Translatiration_ISO8431997.pdf}}