Logica Universalis : Towards a General Theory of Logic [e-books] | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Logica Universalis : Towards a General Theory of Logic [e-books]. Second Edition

種類:

電子ブック

責任表示:

edited by Jean-Yves Beziau

出版情報:

Basel : Birkhäuser Verlag AG, 2007

著者名:

ISBN:

9783764383541 [3764383542]

ローカル注記:

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

オンライン

http://dx.doi.org/10.1007/978-3-7643-8354-1

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	Arithmetic and Logic Structures; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics
分類・件名:	LCSH : Computer science FREE : Mathematics FREE : Mathematical Logic and Foundations FREE : Mathematical Logic and Formal Languages LCSH : Logic, Symbolic and mathematical FREE : Arithmetic and Logic Structures
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00001791
XISBN:	9783764383534 [3764383534]

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logica Universalis : Towards a General Theory of Logic [e-books] Beziau, Jean-Yves, SpringerLink (Online service) Birkhäuser Verlag	7 電子ブック 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.
2 電子ブック 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	8 電子ブック Hybrid Logic and its Proof-Theory [e-books] Braüner, Torben, SpringerLink (Online service) Springer Science+Business Media B.V.
3 電子ブック Function Algebras on Finite Sets : A Basic Course on Many-Valued Logic and Clone Theory [e-books] Lau, Dietlinde, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	9 電子ブック Towards a General Theory of Classifications Parrochia, Daniel, Neuville, Pierre, SpringerLink (Online service) Springer Basel : Imprint: Birkhäuser
4 電子ブック Institution-independent Model Theory Diaconescu, Răzvan, Herzig, Andreas, Malinowski, Grzegorz, Beziau, Jean-Yves, Lee, Jui-Lin, Burgin, Mark, Koslow, … Birkhäuser Verlag AG	10 電子ブック Logic: A Brief Course Mundici, Daniele, SpringerLink (Online service) Springer Milan
5 電子ブック Logica: Metodo Breve Mundici, Daniele, SpringerLink (Online service) Springer Milan	11 電子ブック A Course on Mathematical Logic Srivastava, Shashi Mohan, SpringerLink (Online service) Springer New York : Imprint: Springer
6 電子ブック Notes on Set Theory [e-books] Moschovakis, Yiannis, SpringerLink (Online service) Springer Science+Business Media, Inc.	12 電子ブック Cylindric-like Algebras and Algebraic Logic Andréka, Hajnal, Ferenczi, Miklós, Németi, István, SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer