Mathematical interpretation of formal systems

所蔵情報QRコード

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>

著者名:

ISBN:

9780720422269 [0720422264]

書誌ID:

BA03985988

子書誌情報

フルテキスト

所蔵情報

他の版・巻

Mathematical interpretation of formal systems. 2nd ed
Th. Skolem ... [et al.] , North-Holland Pub. Co. , 1971

書誌詳細

注記:	"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
主題:	Logic, Symbolic and mathematical--Congresses
言語:	英語; フランス語

東工大ブックレビュー

類似資料:

1 図書 Mathematical interpretation of formal systems Wiskundig Genootschap (Netherlands), Skolem, Th. (Thoralf), 1887-1963 North-Holland Pub. Co.	7 図書 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
2 図書 Diophantische Gleichungen Skolem, Th. (Thoralf), 1887-1963 Chelsea	8 雑誌 Bulletin de la Société mathématique de Belgique. Sér. A = Tijdschrift van het Belgisch Wiskundig Genootschap. Reeks A Société mathématique de Belgique La Societe
3 図書 Lehrbuch der Combinatorik Netto, Eugen, 1846-1919, Brun, Viggo, Skolem, Th. (Thoralf), 1887-1963 Chelsea	9 図書 Mathematical logic and its applications Advanced International Summer School and Conference on Mathematical Logic and Its Applications, Skordev, Dimitŭr … Plenum Press
4 図書 Formal concept analysis : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings International Conference on Formal Concept Analysis, Missaoui, Rokia, Schmid, Jürg Springer	10 図書 Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings (: gw ; : us) JELIA, Eijck, J. van (Jan) Springer-Verlag
5 図書 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	11 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers (: gw ; : us) International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J Springer-Verlag
6 図書 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	12 図書 Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 International Colloquium "Constructivity in Mathematics", Heyting, A. (Arend), 1898- North-Holland Publishing Co.

1

2

3

4

5

6

7

8

9

10

11

12