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

>> Amazon.co.jp

このページのQRコード

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

種類:

電子ブック

責任表示:

edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev

出版情報:

New York, NY : Springer Science+Business Media, Inc., 2006

著者名:

シリーズ名:

International Mathematical Series ; 4

ISBN:

9780387310725 [038731072X]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/0-387-31072-X

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Logic; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics; Mathematics of Computing
分類・件名:	FREE : Logic FREE : Mathematical Logic and Formal Languages FREE : Mathematical Logic and Foundations FREE : Mathematics of Computing FREE : Mathematics LCSH : Logic, Symbolic and mathematical LCSH : Computer science LCSH : Logic design LCSH : Logic FREE : Logics and Meanings of Programs
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00000899
XISBN:	9780387286884 [0387286888]

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Mathematical Problems from Applied Logic II : Logics for the XXIst Century [e-books] Gabbay, Dov M., Zakharyaschev, Michael, Goncharov, Sergei S., SpringerLink (Online service) Springer Science+Business Media, LLC	7 電子ブック Ernst Zermelo : An Approach to His Life and Work [e-books] Ebbinghaus, Heinz-Dieter, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
2 電子ブック 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.	8 電子ブック Hybrid Logic and its Proof-Theory [e-books] Braüner, Torben, SpringerLink (Online service) Springer Science+Business Media B.V.
3 電子ブック 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	9 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service) Springer-Verlag
4 電子ブック Proof Theory for Fuzzy Logics [e-books] Metcalfe, George, Barwise, Jon, Gabbay, Dov M., Gabbay, Dov, Olivetti, Nicola, SpringerLink (Online service) Springer Netherlands	10 電子ブック Mathematical Foundations of Programming Semantics : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service) Springer-Verlag
5 電子ブック 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.	11 電子ブック Mathematical Foundations of Programming Semantics : 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service) Springer-Verlag
6 電子ブック Temporal Logic : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings Gabbay, Dov M., Ohlbach, Hans Jürgen, SpringerLink (Online service) Springer-Verlag	12 電子ブック Institution-independent Model Theory Diaconescu, Răzvan, Herzig, Andreas, Malinowski, Grzegorz, Beziau, Jean-Yves, Lee, Jui-Lin, Burgin, Mark, Koslow, … Birkhäuser Verlag AG