Item Details

Print View

Basic Proof Theory

A.S. Troelstra, H. Schwichtenberg
Format
Book
Published
Cambridge ; New York : Cambridge University Press, 2000.
Edition
2nd ed
Language
English
Series
Cambridge Tracts in Theoretical Computer Science
ISBN
0521779111 (pbk.)
Description
xii, 417 p. : ill. ; 23 cm.
Notes
Includes bibliographical references (p. 379-403) and index.
Series Statement
Cambridge tracts in theoretical computer science 43
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01053cam a2200337 a 4500
    001 u3716255
    003 SIRSI
    005 20001107123427.0
    008 000909s2000 enka b 001 0 eng
    010
      
      
    a| 00702855
    020
      
      
    a| 0521779111 (pbk.)
    035
      
      
    a| (Sirsi) i0521779111
    035
      
      
    a| (OCoLC)44652575
    040
      
      
    a| DLC c| DLC d| DLC
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA9.54 b| .T76 2000
    082
    0
    0
    a| 511.3 2| 21
    090
      
      
    a| SCIENG/QA9.54 b| .T76 2000
    100
    1
      
    a| Troelstra, A. S. q| (Anne Sjerp)
    245
    1
    0
    a| Basic proof theory / c| A.S. Troelstra, H. Schwichtenberg.
    250
      
      
    a| 2nd ed.
    260
      
      
    a| Cambridge ; a| New York : b| Cambridge University Press, c| 2000.
    300
      
      
    a| xii, 417 p. : b| ill. ; c| 23 cm.
    440
      
    0
    a| Cambridge tracts in theoretical computer science v| 43
    504
      
      
    a| Includes bibliographical references (p. 379-403) and index.
    596
      
      
    a| 5
    650
      
    0
    a| Proof theory.
    700
    1
      
    a| Schwichtenberg, Helmut, d| 1942-
    999
      
      
    a| QA9.54 .T76 2000 w| LC i| X004477089 l| STACKS m| SCI-ENG t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available