عنوان
پدید آورنده
موضوع
رده
QA 1 .L4 v.492
QA
1
.
L4
v
.
492
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1975
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
206 p. : port. ; 25 cm
SERIES
Other Title Information
Lecture notes in mathematics ; 294
GENERAL NOTES
Text of Note
Bibliography: p. 205-206
Text of Note
Biography and bibliography: Carol Ruth Karp )nee, van der Velde
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
edited by D. W. Kueker
ORIGINAL VERSION NOTE
Text of Note
1
CONTENTS NOTE
Text of Note
Lopez-Escobar, E. G. K. Introduction.--Kueker, D. W. Back-and-forth arguments and infinitary logics.--Green, J. Consistency properties for finite quantifier languages.--Cunningham, E. Chain models.--Grego
TOPICAL NAME USED AS SUBJECT
Entry Element
Addresses, essays, lectures ، Infinitary languages
Entry Element
Addresses, essays, lectures ، Model theory
Entry Element
، Karp, Carol, 6291-2791
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
1
.
L4
v
.
492
OTHER CLASS NUMBERS
Class number
CA
Class number
510/
.
8
s
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU Karp, Carol 1926-1972
AU Kueker, D. W. 1943-
SE
