Katalin_Bimb%C3%B3
KatalinBimbó（1963年生まれ）は、数理論理学と証明論に関する本で知られる論理学者および哲学者です。彼女は博士号を取得しました。1999年にインディアナ大学でジョン・マイケル・ダンの監督下で、2013年にテニュアを取得した後、アルバータ大学で哲学の教授を務めています。
コンテンツ
1 厳選された作品
1.1 モノグラフ 1.2 編集されたボリューム
2 参考文献
3 外部リンク
厳選された作品編集
モノグラフ
一般化されたガロア論理：非古典的論理計算の関係セマンティクス（JM Dunn、CSLI Publications、2008年）
コンビネータ論理：純粋、応用、型付き（CRC Press、2012）
証明論：シークエント計算および関連する形式（CRC Press、2015年）
編集されたボリューム
J. Michael Dunn on Information Based Logics（Springer、2016）。
参考文献
^ 米国議会図書館のカタログエントリからの誕生年、2021-03-07を取得 ^ 数学遺伝学プロジェクトのカタリンビンボー ^ 「カタリン・ビンボ、教授、芸術学部–哲学部」、ディレクトリ、アルバータ大学、2021-03-07を取得 ^ 「カタリンビンボーとマリーイブモーリンに授与されたテニュア」、哲学ニュース、アルバータ大学、2012年12月2日、 2021-03-07を取得
^ 一般化されたガロア論理のレビュー：R。Gylys（2009）、 MR 2459113 ; EwaOrłowska（2011）、 Studia Logica、 JSTOR 41475163 ; Alasdair Urquhart（2010）、ブル。シンブ。ロジック、 JSTOR 27805181 ^ コンビネータ論理のレビュー：Martin W. Bunder、
Zbl 1245.03001 ; Felice Cardone（2012）、 MR 2817087 ; MortenHeineSørensen （2013）、 Studia Logica、 JSTOR 43651690 ^ 証明論のレビュー：Andrzej Indrzejczak、
Zbl 1302.03001 ; ピエルルイジミナリ、 MR 3363164 ; トーマス・ストラーム（2016）、ブル。シンブ。ロジック、 JSTOR 43830161 ; RóbertVajda（2015）、 ActaSci。算数。、
外部リンク
ホームページ
カナダの哲学者のこの伝記