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

Hybrid Logic and its Proof-Theory [e-books]

種類:
電子ブック
責任表示:
by Torben Braüner
出版情報:
Dordrecht : Springer Science+Business Media B.V., 2011
著者名:
シリーズ名:
Applied Logic Series ; 37
ISBN:
9789400700024 [9400700024]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/978-94-007-0002-4
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Proof Theory for Fuzzy Logics [e-books]

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

Springer Netherlands
7 電子ブック Ernst Zermelo : An Approach to His Life and Work [e-books]

Ebbinghaus, Heinz-Dieter, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
2 電子ブック 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.
8 電子ブック 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.
3 電子ブック Advances in Natural Deduction : A Celebration of Dag Prawitz's Work

Pereira, Luiz Carlos, Haeusler, Edward Hermann, de Paiva, Valeria, SpringerLink (Online service)

Springer Netherlands : Imprint: Springer
9 電子ブック Institution-independent Model Theory

Diaconescu, Răzvan, Herzig, Andreas, Malinowski, Grzegorz, Beziau, Jean-Yves, Lee, Jui-Lin, Burgin, Mark, Koslow, …

Birkhäuser Verlag AG
4 電子ブック 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
10 電子ブック A Modern Perspective on Type Theory : From its Origins until Today [e-books]

Kamareddine, Fairouz, Nederpelt, Rob, Laan, Twan, SpringerLink (Online service)

Springer Science + Business Media, Inc.
5 電子ブック Leśniewski's Systems of Logic and Foundations of Mathematics

Urbaniak, Rafal, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer
11 電子ブック Logica Universalis : Towards a General Theory of Logic [e-books]

Beziau, Jean-Yves, SpringerLink (Online service)

Birkhäuser Verlag
6 電子ブック Recent Trends in Philosophical Logic

Ciuni, Roberto, Wansing, Heinrich, Willkommen, Caroline, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer
12 電子ブック Logica Universalis : Towards a General Theory of Logic [e-books]

Beziau, Jean-Yves, SpringerLink (Online service)

Birkhäuser Verlag AG