Skip to main content
  • Conference proceedings
  • © 1996

Collegium Logicum

Part of the book series: Collegium Logicum (COLLLOGICUM, volume 2)

Buy it now

Buying options

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

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (8 papers)

  1. Front Matter

    Pages i-vii
  2. A Tableau Calculus for Partial Functions

    • Manfred Kerber, Michael Kohlhase
    Pages 21-49
  3. A Fundamental Problem of Mathematical Logic

    • Jan Krajíček
    Pages 56-64
  4. On the lengths of proofs of consistency

    • Pavel Pudlák
    Pages 65-86
  5. Numbers Defined by Turing Machines

    • Rudolf Freund, Ludwig Staiger
    Pages 118-137
  6. Back Matter

    Pages 139-143

Authors and Affiliations

  • Institut für Computersprachen, Technische Universität Wien, Vienna, Austria

    Kurt-Gödel-Gesellschaft

Bibliographic Information

Buy it now

Buying options

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

Tax calculation will be finalised at checkout

Other ways to access