Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker. (Lecture notes in mathematics ; 492)

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker.

(Lecture notes in mathematics ; 492)

Detailed bibliographic record

Contents：: López-Escobar, E. G. K. IntroductionKueker, D. W. Back-and-forth arguments and infinitary logicsGreen, J. Consistency properties for finite quantifier...

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Kanto

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: 図書
ISBN: 0387074198
Title: Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors / edited by D. W. Kueker.
Series Title: Lecture notes in mathematics ; 492
Title Heading: Lecture notes in mathematics (Springer-Verlag) ; 492.
Author Heading: Karp, Carol, 1926-1972.
Kueker, D. W., 1943-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1975.
Publication Date (W3CDTF): 1975
Extent: 206 p. : port. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Karp, Carol, 1926-1972.
Infinitary languages.
Model theory.
LCC: QA3
QA9.37
DDC: 510/.8 s
511/.3
NDLC: MA41
Note (Bibliography): "Biography and bibliography: Carol Ruth Karp (née, van der Velde) ": p. 13-16. Includes bibliographies.
Holding library: 国立国会図書館
Call No.: MA41-100
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006248147
http://id.ndl.go.jp/bib/000006248147
LC Control Number: 75034464 //r972
https://lccn.loc.gov/75034464
Bibliographic Record Category (NDL): 211