Mathematical interpretation of formal systems

タイトル、所在を表示します

Mathematical interpretation of formal systems

フォーマット:

図書

責任表示:

Th. Skolem ... [et al.]

言語:

英語; フランス語

出版情報:

Amsterdam : North-Holland Pub. Co., 1955

形態:

viii, 113 p. ; 21 cm

著者名:

シリーズ名:

Studies in logic and the foundations of mathematics <BA00099329>

書誌ID:

BA03985988

ISBN:

9780720422269 [0720422264]

子書誌情報

所蔵情報

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

詳細

資料形態(詳細):	Text
主題:	Logic, Symbolic and mathematical--Congresses
LCCN:	75310950
注記:	"Contains the lectures, held at the symposion [sic] on Mathematical interpretation of formal systems which was organized by the Wiskundig Genootschap (Mathematical Society) at Amsterdam on September 9 and 10, 1954."--P. vii English or French Includes bibliographical references
登録日:	2012-01-06
分類・件名:	LCC : QA9 DDC : 511/.3 LCSH : Logic, Symbolic and mathematical -- Congresses

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers Workshop on Computer Science Logic, Dalen, D. van (Dirk), 1932-, Bezem, M. (Marc), 1956-, European Association for … Springer	7 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J Springer-Verlag
2 図書 Discrete mathematics and theoretical computer science : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent Springer	8 図書 Mathematical logic : proceedings of the first Brazilian Conference Brazilian Conference on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R., Universidade Estadual … M. Dekker
3 図書 Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings International Workshop on Frontiers of Combining Systems, Armando, Alessandro Springer-Verlag	9 図書 Conference in Mathematical Logic, London '70 : [proceedings] Conference in Mathematical Logic, Hodges, Wilfrid Springer-Verlag
4 図書 Mathematical logic and its applications Advanced International Summer School and Conference on Mathematical Logic and Its Applications, Skordev, Dimitŭr … Plenum Press	10 図書 Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 International Colloquium "Constructivity in Mathematics", Heyting, A. (Arend), 1898- North-Holland Publishing Co.
5 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings JELIA, Eijck, J. van (Jan) Springer-Verlag	11 図書 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications Springer-Verlag
6 図書 Logic, foundations of mathematics, and computability theory International Congress of Logic, Methodology and Philosophy of Science, Butts, Robert E., Hintikka, Jaakko, 1929- D. Reidel	12 図書 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 Latin-American Symposium on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), Alcantara, Luiz Paulo de, … American Mathematical Society