Methods of Cut-Elimination

Leitsch, Alexander. (Author). Baaz, Matthias. (Added Author). SpringerLink (Online service) (Added Author).

E-book

Add to basket Remove from basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

Record details

• ISBN: 9789400703209
• Physical Description: electronic
  electronic resource
  access
  remote
  VI, 287p. 360 illus. digital.
• Publisher: Dordrecht : Springer Netherlands, 2011.

Search for related items by subject

Search for related items by series

• Trends in Logic ; 34
• Trends in Logic ; 34