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
|