Mathematical Logic and ComputationPublisher: Cambridge University Press Year: 24/11/2022 ISBN: 9781108478755 Publication form: hardback
|
366.45 PLN
Product to order
Delivery 3-4 weeks
Add to bookshelf
|
Mathematical Logic and ComputationPublisher: Cambridge University Press Year: 24/11/2022 ISBN: 9781108800761 Publication form: eBook: Fixed Page eTextbook (PDF)
|
438.72 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Interactive Theorem ProvingPublisher: Springer Nature Year: 03/07/2018 ISBN: 9783319948218 Publication form: eBook: Reflowable eTextbook (ePub)
|
542.97 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, ProceedingsPublisher: Springer, Berlin ISBN: 9783319948201 Publication form: paperback
|
Ask about the product
|