---

＜電子ブック＞
Infinitary Logic : In Memoriam Carol Karp / edited by D. W. Kueker
(Lecture Notes in Mathematics. ISSN:16179692 ; 492)

版	1st ed. 1975.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1975
大きさ	IX, 208 p : online resource
著者標目	Kueker, D. W editor SpringerLink (Online service)
件　名	LCSH:Mathematical logic FREE:Mathematical Logic and Foundations
一般注記	Back-and-forth arguments and infinitary logics -- Consistency properties for finite quantifier languages -- Chain models: Applications of consistency properties and back-and-forth techniques in infinite-quantifier languages -- On a finiteness condition for infinitary languages HTTP:URL=https://doi.org/10.1007/BFb0081118

 類似資料