Shortcuts
Please wait while page loads.
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Catalogue Display

Infinitary Logic: In Memoriam Carol Karp: A Collection of Papers by Various Authors /

Infinitary Logic: In Memoriam Carol Karp: A Collection of Papers by Various Authors /
Catalogue Information
Field name Details
Dewey Class 511.3
Title Infinitary Logic: In Memoriam Carol Karp ([EBook] :) : A Collection of Papers by Various Authors / / edited by David W. Kueker.
Added Personal Name Kueker, David W. editor.
Other name(s) SpringerLink (Online service)
Publication Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1975.
Physical Details IX, 208 p. : online resource.
Series Lecture Notes in Mathematics 0075-8434 ; ; 492
ISBN 9783540379492
Contents note 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.
System details note Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site http://dx.doi.org/10.1007/BFb0081118
Links to Related Works
Subject References:
Authors:
Corporate Authors:
Series:
Classification:
Catalogue Information 48076 Beginning of record . Catalogue Information 48076 Top of page .

Reviews


This item has not been rated.    Add a Review and/or Rating48076
Quick Search