Investigations into the Predicate Calculus
Häftad, Engelska, 2022
195 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Mathesis Universalis, Computability and Proof
Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster
Häftad, 2020
1 307 kr
Mathesis Universalis, Computability and Proof
Peter M. Schuster, Deniz Sarikaya, Sara Negri, Stefania Centrone
E-bok
20191 672 kr
Mathesis Universalis, Computability and Proof
Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster
Inbunden, 2019
1 307 kr
Del 12842
Automated Reasoning with Analytic Tableaux and Related Methods
Anupam Das, Sara Negri
Häftad, 2021
565 kr