Proofs and Models in Philosophical Logic by Restall & Greg University of St Andrews & Scotland

Où acheter (1) Caractéristiques

Sponsorisé

Proofs and Models in Philosophical Logic by Restall & Greg University of St Andrews & Scotland

Fnac FR

29.53 EUR

Prix mis à jour le: 09-10-2026 15:01:10

Voir l'offre

Général

Marque

Cambridge University Press

Caractéristiques

Produits similaires

Type Theory And Formal Proof: An Introduction (Hardcover)

Type Theory And Formal Proof: An Introduction (Hardcover)

Dès131.25 EUR 1

Specification and Proof in Real-Time Csp, Distinguished Dissertations in Computer Science

Specification and Proof in Real-Time Csp, Distinguished Dissertations in Computer Science

Dès180.66 EUR 1

Specification and Proof in Real-Time Csp, Distinguished Dissertations in Computer Science

Specification and Proof in Real-Time Csp, Distinguished Dissertations in Computer Science

Dès124.99 EUR 1

Proof Presses: A Primer of Information about the Customary Methods and Machines for Taking Printers' Proofs (1918)

Proof Presses: A Primer of Information about the Customary Methods and Machines for Taking Printers' Proofs (1918)

Dès70.99 EUR 1

Metamathematics, Machines, and Godel's Proof, Cambridge Tracts in Theoretical Computer Science

Metamathematics, Machines, and Godel's Proof, Cambridge Tracts in Theoretical Computer Science

Dès80.73 EUR 1

Livre An Introduction To Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs

Livre An Introduction To Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs

Dès44.15 EUR 1