Skip to main content
  • Conference proceedings
  • © 1975

Infinitary Logic

In Memoriam Carol Karp

Editors:

Part of the book series: Lecture Notes in Mathematics (LNM, volume 492)

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (5 papers)

  1. Front Matter

    Pages N2-v
  2. Introduction

    • E. G. K. López-Escobar
    Pages 1-16
  3. Back Matter

    Pages 207-209

Keywords

  • Finite
  • Forth
  • Infinitäre Logik
  • Karp, Carol
  • language
  • logic
  • techniques

Bibliographic Information

  • Book Title: Infinitary Logic

  • Book Subtitle: In Memoriam Carol Karp

  • Editors: David W. Kueker

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0081118

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1975

  • Softcover ISBN: 978-3-540-07419-9Published: 01 November 1975

  • eBook ISBN: 978-3-540-37949-2Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: IX, 208

  • Topics: Mathematical Logic and Foundations

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions