Risultato ricerca
Automated Reasoning with Analytic Tableaux and Related Methods
Inglese
27.09.2012
Tascabile
Fr. 70.00
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Inglese
14.07.2008
Copertina rigida
Fr. 169.00
Logical Methods: The Art of Thinking Abstractly and Mathematically
Inglese
24.01.2021
Tascabile
Fr. 56.50