Proofs and Models in Philosophical Logic by Restall & Greg University of St Andrews & Scotland | DealShopping France
  1. Page d’accueil
  2. Proofs and Models in Philosophical Logic by Restall & Greg University of St Andrews & Scotland
  • #

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

24.74 EUR

Partager:

Produits connexes

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

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

114.99 EUR
Type Theory And Formal Proof: An Introduction (Hardcover)

Type Theory And Formal Proof: An Introduction (Hardcover)

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

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

27.73 EUR
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

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

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

41.48 EUR
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)

27.26 EUR