國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Elements of mathematical logic = (Mo...

~

Krivine, J. L.

Elements of mathematical logic = (Model theory) /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Elements of mathematical logic/ [By] G. Kreisel and J.L. Krivine.
Reminder of title:	(Model theory) /
Author:	Kreisel, Georg.
other author:	Krivine, J. L.
Published:	Amsterdam :North Holland Pub. Co., : 1967.,
Description:	xii, 349 p. ;23 cm.;
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:	9780444534125 (electronic bk.)

Elements of mathematical logic = (Model theory) /
Kreisel, Georg.

Elements of mathematical logic(Model theory) /[electronic resource] :[By] G. Kreisel and J.L. Krivine. - Amsterdam :North Holland Pub. Co.,1967. - xii, 349 p. ;23 cm. - Studies in logic and the foundations of mathematics. - Studies in logic and the foundations of mathematics..

Includes bibliographical references.

ISBN: 9780444534125 (electronic bk.) Subjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .K7713

Dewey Class. No.: 164

Elements of mathematical logic = (Model theory) /
LDR:00908nam a2200217 a 4500 001 807830
005 20130408164418.0
008 150720s1967 ne sb 000 0 eng d
020 $a 9780444534125 (electronic bk.)
020 $a 9780444534125
035 $a 13001034
040 $a OCLCE $b eng $c OCLCE $d OCL $d OPELS $d OCLCQ $d OCLCO
041 1 $a eng $h und
050 4 $a QA9 $b .K7713
082 0 4 $a 164 $2 19
100 1 $a Kreisel, Georg. $3 903685
240 1 0 $a Elements de logique mathematique, theorie desmodeles. $l English
245 1 0 $a Elements of mathematical logic $h [electronic resource] : $b (Model theory) / $c [By] G. Kreisel and J.L. Krivine.
260 $a Amsterdam : $b North Holland Pub. Co., $c 1967.
300 $a xii, 349 p. ; $c 23 cm.
490 1 $a Studies in logic and the foundations of mathematics
504 $a Includes bibliographical references.
650 0 $a Logic, Symbolic and mathematical. $3 527823
700 1 $a Krivine, J. L. $q (Jean Louis), $e joint author. $3 903686
830 0 $a Studies in logic and the foundations of mathematics. $3 901608
856 4 0 $u http://www.sciencedirect.com/science/book/9780444534125 $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