hive.co.uk Search Results

Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »

hive.co.uk

0 items Basket

Click here to login

My Account

Free home delivery in the UK or...
...visit your chosen bookshop to collect!

Books
- - Genres
- - Browse
  - Featured
  - Popular Universes
- - Offers (Discounts up to)
- - Seasonal Features
eBooks
- - eBook Genres
- - Browse
  - Featured
- - Offers
eAudiobooks
- - eAudiobook Genres
- - Browse
  - Featured
- - Offers
DVD & Blu-ray
- - Genres
    - Action/Adventure
    - Children's
    - Comedy
    - Documentaries
    - Drama
    - Family
    - General
    - Horror
    - Science Fiction
    - Thriller
    - TV Series
    - Westerns & War
- - Browse
  - Browse by Actor
- - Popular TV Shows
- - Offers
CD & Vinyl
- - Music Genres
    - Blues
    - Classical
    - Country
    - Dance
    - Easy Listening
    - Folk
    - Jazz
    - Metal
    - R&B/Soul
    - Rap/Hip Hop
    - Rock & Pop
    - Soundtracks
    - See all in CD
- - Explore Vinyl
    - Blues
    - Classical
    - Country
    - Dance
    - Folk
    - Jazz
    - Metal
    - R&B/Soul
    - Rap/Hip Hop
    - Rock & Pop
    - Soundtracks
    - Easy Listening
    - See all in Vinyl
- - Browse
- - Offers
    - 2 for £38 on Selected Vinyl
Gifts
- - Gifts & Merchandise
- - Stationery
- - Pop Culture
  - Featured
- - Offers
    - Up to 25% off Tarot Card Sets
Offers
- - Books on Offer
- - Gifts on Offer
    - Up to 25% off Tarot Card Sets
- - Entertainment on Offer
    - 2 for £38 on Selected Vinyl

Free home delivery in the UK or...
...visit your chosen bookshop to collect!

Combinatory Logic : Pure, Applied and Typed

Katalin Bimbo

Download - Immediately Available

Format: eBook (PDF)

£49.99

£44.99

Download - Immediately Available

eBook (PDF)

Add to Basket

Proof Theory : Sequent Calculi and Related Formalisms

Katalin Bimbo

Download - Immediately Available

Format: eBook (PDF)

£49.99

£44.99

Download - Immediately Available

eBook (PDF)

Add to Basket

© Hive Store Ltd 2024. (hive.co.uk) is registered in England. Company number: 07300106. VAT number: 444950437.
Registered address: 1 Whittle Drive, Eastbourne, East Sussex, BN23 6QH.

Menu

Genres

Browse

Featured

Popular Universes

Offers (Discounts up to)

Seasonal Features

eBook Genres

Browse

Featured

Offers

eAudiobook Genres

Browse

Featured

Offers

Genres

Browse

Browse by Actor

Popular TV Shows

Offers

Music Genres

Explore Vinyl

Browse

Offers

Gifts & Merchandise

Stationery

Pop Culture

Featured

Offers

Books on Offer

Gifts on Offer

Entertainment on Offer

Show results for

Product

Book Categories

Price

Author

Combinatory Logic : Pure, Applied and Typed

Katalin Bimbo

Proof Theory : Sequent Calculi and Related Formalisms

Katalin Bimbo

Newsletter

Our Company

Helpful Links

Connect

Bookshop Finder