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

24.74 EUR

Prix mis à jour le: 09-04-2026 19:47:07

Voir l'offre

Général

Marque

Cambridge University Press

Caractéristiques

Produits similaires

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

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

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

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

Type Theory And Formal Proof: An Introduction (Hardcover)

Type Theory And Formal Proof: An Introduction (Hardcover)

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

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

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

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

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Formal Semantics and Proof Techniques for Optimizing VHDL Models - Kothanda Umamageswaran, Sheetanshu L. Pandey et Philip A. Wilsey