Elements of mathematical logic. (Model theory) [By] G. Kreisel and J. L. Krivine. (Studies in logic and the foundations of mathematics)

Elements of mathematical logic. (Model theory) [By] G. Kreisel and J. L. Krivine.

(Studies in logic and the foundations of mathematics)

Notes on use

Note (General)：: Translation of Eléments de logique mathématique, theorie des modéles.

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Elements of mathematical logic. (Model theory) [By] G. Kreisel and J. L. Krivine.
Series Title: Studies in logic and the foundations of mathematics
Title Heading: Eléments de logique mathématique, theorie des modéles. English.
Author Heading: Kreisel, Georg.
Krivine, J. L. (Jean Louis)
Publication, Distribution, etc.: Amsterdam : North Holland Pub. Co.
Publication Date: 1967.
Publication Date (W3CDTF): 1967
Extent: xi, 222 p. 22 1/2 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Logic, Symbolic and mathematical.
LCC: QA9
DDC: 164
NDLC: H35
Note (General): Translation of Eléments de logique mathématique, theorie des modéles.
Holding library: 国立国会図書館
Call No.: H35-4
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006247258
http://id.ndl.go.jp/bib/000006247258
LC Control Number: 67020006 //r862
https://lccn.loc.gov/67020006
Bibliographic Record Category (NDL): 211