國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Mathematical interpretation of forma...

~

Wiskundig Genootschap (Netherlands)

Mathematical interpretation of formal systems

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Mathematical interpretation of formal systems/ [by] Th. Skolem [and others].
other author:	Skolem, Th.
Corporate Body:	Wiskundig Genootschap (Netherlands)
Published:	Amsterdam :North-Holland Pub. Co., : 1955.,
Description:	viii, 113 p. ;22 cm.;
Notes:	"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."
Subject:	Logic, Symbolic and mathematical. -
Online resource:	click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:	9780444533814 (electronic bk.)

Mathematical interpretation of formal systems
Wiskundig Genootschap (Netherlands)

Mathematical interpretation of formal systems[electronic resource] /[by] Th. Skolem [and others]. - Amsterdam :North-Holland Pub. Co.,1955. - viii, 113 p. ;22 cm. - Studies in logic and the foundations of mathematics.

"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."

Bibliography: p. 112-113.

ISBN: 9780444533814 (electronic bk.)

LCCN: 56003127 //r852Subjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .W72 1955

Dewey Class. No.: 164

Mathematical interpretation of formal systems
LDR:01045nam a2200229 a 4500 001 808723
005 20130401104249.0
008 150720s1955 ne sb 00000 eng
010 $a 56003127 //r852
020 $a 9780444533814 (electronic bk.)
020 $a 9780444533814
035 $a 13002273
040 $a DLC/ICU $c ICU
041 0 $a eng
050 0 $a QA9 $b .W72 1955
082 0 $a 164
110 2 $a Wiskundig Genootschap (Netherlands) $3 906056
245 1 0 $a Mathematical interpretation of formal systems $h [electronic resource] / $c [by] Th. Skolem [and others].
260 $a Amsterdam : $b North-Holland Pub. Co., $c 1955.
300 $a viii, 113 p. ; $c 22 cm.
490 0 $a Studies in logic and the foundations of mathematics
500 $a "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."
504 $a Bibliography: p. 112-113.
650 0 $a Logic, Symbolic and mathematical. $3 527823
700 1 $a Skolem, Th. $q (Thoralf), $d 1887-1963. $3 906057
856 4 0 $u http://www.sciencedirect.com/science/book/9780444533814 $z click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login