Logica: Metodo Breve

>> Google Books

Logica: Metodo Breve

フォーマット:

電子ブック

責任表示:

by Daniele Mundici

言語:

イタリア語

出版情報:

Milano : Springer Milan, 2011

形態:

v.: digital

著者名:

シリーズ名:

UNITEXT ; 1

書誌ID:

NB02226456

ISBN:

9788847018846 [8847018846]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-88-470-1884-6

所蔵情報

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

詳細

主題:	Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics; Semantics
分類・件名:	LCSH : Mathematics LCSH : Computer science LCSH : Logic, Symbolic and mathematical LCSH : Semantics FREE : Mathematics FREE : Mathematical Logic and Foundations FREE : Mathematical Logic and Formal Languages FREE : Semantics
TTLL:	ita

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV Wojcicki, Ryszard, Hendricks, Vincent F., Makinson, David, Malinowski, Jacek, Mundici, Daniele, Or?owska, Ewa, … Springer Netherlands	7 電子ブック Methods of Cut-Elimination Leitsch, Alexander, Baaz, Matthias, SpringerLink (Online service) Springer Science+Business Media B.V.
2 電子ブック Logica Universalis : Towards a General Theory of Logic Beziau, Jean-Yves, SpringerLink (Online service) Birkhauser Verlag	8 電子ブック Finite Model Theory Ebbinghaus, Heinz-Dieter, Flum, Jorg, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
3 電子ブック Logica Universalis : Towards a General Theory of Logic Beziau, Jean-Yves, SpringerLink (Online service) Birkhauser Verlag AG	9 電子ブック Mathematical Problems from Applied Logic I : Logics for the XXIst Century Gabbay, Dov M., Goncharov, Sergei S., Zakharyaschev, Michael, SpringerLink (Online service) Springer Science+Business Media, Inc.
4 電子ブック Advanced Łukasiewicz calculus and MV-algebras Mundici, D., SpringerLink (Online service) Springer Science+Business Media B.V.	10 電子ブック 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.
5 電子ブック Notes on Set Theory Moschovakis, Yiannis, SpringerLink (Online service) Springer Science+Business Media, Inc.	11 電子ブック Ernst Zermelo - Collected Works/Gesammelte Werke : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia Zermelo, Ernst, Ebbinghaus, Heinz-Dieter, Fraser, Craig G., Kanamori, Akihiro, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
6 電子ブック Ernst Zermelo : An Approach to His Life and Work Ebbinghaus, Heinz-Dieter, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	12 電子ブック Institution-independent Model Theory Diaconescu, R?zvan, Herzig, Andreas, Malinowski, Grzegorz, Beziau, Jean-Yves, Lee, Jui-Lin, Burgin, Mark, Koslow, … Birkhauser Verlag AG