Mathematical problems from applied logic II : logics for the XXIst century /

Mathematical problems from applied logic II : logics for the XXIst century /

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Goncharov, Sergei S., Zakharyaschev, Michael, Gabbay, Dov M., 1945-
フォーマット:	eBook
言語:	English
出版事項:	New York, NY Springer Science+Business Media, LLC 2007.
シリーズ:	International Mathematical Series, 5
主題:	Logic, Symbolic and mathematical
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Mathematical problems from applied logic I logics for the XXIst century /
出版事項: (2006)

Mathematical logic /
著者:: Chiswell, Ian, 1948-
出版事項: (2007)

Mathematical logic /
著者:: Shoenfield, Joseph R.
出版事項: (1967)

Mathematical logic /
出版事項: (2001)

Mathematical logic in the 20th century /
出版事項: (2003)

Introduction to mathematical logic /
著者:: Walicki, Michał
出版事項: (2012)

Introduction to mathematical logic /
著者:: Mendelson, Elliott
出版事項: (2010)

Introduction to mathematical logic /
著者:: Mendelson, Elliott
出版事項: (1997)

Mathematical logic
著者:: Ebbinghaus, H.-D, 等
出版事項: (1994)

Mathematical logic /
出版事項: (2001)

Mathematical logic
著者:: Ebbinghaus, H.-D, 等
出版事項: (1994)

Journal of mathematical logic.
出版事項: (2001)

Logic for mathematics and computer science /
著者:: Burris, Stanley N.
出版事項: (1998)

A Course on Mathematical Logic
著者:: Srivastava, S. M.
出版事項: (2008)

A mathematical introduction to logic /
著者:: Enderton, Herbert B.
出版事項: (2001)

Mathematical logic /
著者:: Kleene, Stephen Cole
出版事項: (2002)

Introduction to mathematical logic /
著者:: Mendelson, Elliott
出版事項: (1997)

Introduction to mathematical logic
著者:: Mendelson, Elliott
出版事項: (2010)

Introduction to mathematical logic
著者:: Mendelson, Elliott
出版事項: (2010)

A concise introduction to mathematical logic /
著者:: Rautenberg, Wolfgang
出版事項: (2006)

A Course in mathematical Logic for mathematicians
著者:: Manin, Yu. I.
出版事項: (2010)

A mathematical introduction to logic /
著者:: Enderton, Herbert B.
出版事項: (2001)

A mathematical introduction to logic
著者:: Enderton, Herbert B.
出版事項: (2001)

A mathematical introduction to logic
著者:: Enderton, Herbert B.
出版事項: (2001)

Mathematical logic and the foundations of mathematics : an introductory survey /
著者:: Kneebone, G. T.
出版事項: (2001)

Language, truth and logic in mathematics /
著者:: Hintikka, Jaakko
出版事項: (1998)

A concise introduction to mathematical logic
著者:: Rautenberg, Wolfgang
出版事項: (2006)

A concise introduction to mathematical logic /
著者:: Rautenberg, Wolfgang
出版事項: (2006)

A concise introduction to mathematical logic
著者:: Rautenberg, Wolfgang
出版事項: (2006)

Mathematical logic foundations for information science /
著者:: Li, Wei
出版事項: (2010)

Mathematical logic : foundations for information science /
著者:: Li, Wei
出版事項: (2014)

Mathematical logic /
著者:: Kleene, Stephen Cole
出版事項: (2002)

Logic, sets and recursions /
著者:: Causey, Robert L.
出版事項: (2006)

Understanding symbolic logic /
著者:: Klenk, Virginia
出版事項: (2008)

The Foundations of mathematics and other logical essays /
著者:: Ramsey, Frank Plumpton
出版事項: (1931)

Mathematical logic for computer science /
著者:: Ben-Ari, Mordechai
出版事項: (2012)

Perspectives on the history of mathematical logic
出版事項: (2008)

Perspectives on the history of mathematical logic
出版事項: (2008)

The mathematics of paul erdos II /
出版事項: (2013)

Internal logic : foundations of mathematics from Kronecker to Hilbert /
著者:: Gauthier, Yvon
出版事項: (2002)