>> Amazon.co.jp
このページのQRコード

Mathematical Problems from Applied Logic II : Logics for the XXIst Century [e-books]

種類:
電子ブック
責任表示:
edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov
出版情報:
New York, NY : Springer Science+Business Media, LLC, 2007
著者名:
シリーズ名:
International Mathematical Series ; 5
ISBN:
9780387692456 [0387692452]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/978-0-387-69245-6
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Mathematical Problems from Applied Logic I : Logics for the XXIst Century [e-books]

Gabbay, Dov M., Zakharyaschev, Michael, Goncharov, Sergei S., SpringerLink (Online service)

Springer Science+Business Media, Inc.
7 電子ブック Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV [e-books]

Wójcicki, Ryszard, Hendricks, Vincent F., Makinson, David, Malinowski, Jacek, Mundici, Daniele, Orłowska, Ewa, …

Springer Netherlands
2 電子ブック Proof Theory for Fuzzy Logics [e-books]

Metcalfe, George, Barwise, Jon, Gabbay, Dov M., Gabbay, Dov, Olivetti, Nicola, SpringerLink (Online service)

Springer Netherlands
8 電子ブック Essays in Constructive Mathematics [e-books]

Edwards, Harold M., SpringerLink (Online service)

Harold M. Edwards
3 電子ブック A Course on Mathematical Logic

Srivastava, S. M., SpringerLink (Online service)

Springer Science+Business Media, LLC
9 電子ブック A Missing Link in Cybernetics : Logic and Continuity [e-books]

Andrew, Alex M., SpringerLink (Online service)

Springer-Verlag New York
4 電子ブック Mathematical Lives : Protagonists of the Twentieth Century From Hilbert to Wiles [e-books]

Bartocci, Claudio, Betti, Renato, Guerraggio, Angelo, Lucchetti, Roberto, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
10 電子ブック 104 Number Theory Problems : From the Training of the USA IMO Team [e-books]

Andreescu, Titu, Andrica, Dorin, Feng, Zuming, SpringerLink (Online service)

Birkhäuser Boston
5 電子ブック Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems

Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula, Sernadas, Cristina, SpringerLink (Online service)

Springer Science+Business Media B.V.
11 電子ブック The Mathematics of Coordinated Inference : A Study of Generalized Hat Problems

Hardin, Christopher S., Taylor, Alan D., SpringerLink (Online service)

Springer International Publishing : Imprint: Springer
6 電子ブック A Concise Introduction to Mathematical Logic [e-books]

Rautenberg, Wolfgang, SpringerLink (Online service)

Springer Science+Business Media, Inc.
12 電子ブック Aspects of Mathematical Logic

Casari, E., SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg