Del 5
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE
Ruy J G B de Queiroz, Anjolina G de Oliveira, Dov M Gabbay
Inbunden, 2011
1 939 kr
Computational Paths. The Calculus of Equality
Häftad, Engelska, 2026
439 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2026-05-11
- Mått156 x 234 x 29 mm
- Vikt780 g
- FormatHäftad
- SpråkEngelska
- Antal sidor564
- FörlagCollege Publications
- ISBN9781848905153
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Logic, Language, Information, and Computation
Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz
Häftad, 2014
709 kr
Del 13468
Logic, Language, Information, and Computation
Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
Häftad, 2022
719 kr
- Nyhet
- Nyhet
Del 4
- Nyhet