Proof Theory: Mathematical Object, Logic, Proof, Data Structure, Rule of Inference, Syntax (logic), Model Theory, Computability Structural Theory

Priser från
288,05

Utvalda

JäMFöR ALLA WEBBUTIKER (2)

Beskrivning

Proof Theory: Mathematical Object, Logic, Proof, Data Structure, Rule of Inference, Syntax (logic), Model Theory, Computability Structural Theory

Description Beskrivning
Product Specifications Produktspecifikationer
Relaterade resultat Relaterade resultat
Next
Previous

Jämför webbutiker (2)

Shop
Pris
Amazon Logga
288,05 kr
Til butik
Amazon Marketplace Logga
288,05 kr
Til butik
Beskrivning (0)

Proof Theory: Mathematical Object, Logic, Proof, Data Structure, Rule of Inference, Syntax (logic), Model Theory, Computability Structural Theory

Produktspecifikationer

Märke Betascript Publishers
EAN
  • 9786130330620

Independently Published

Model Theory versus Proof within General Algebraic Logic

2.366,41 kr
Jämför 2 butiker 2 Butiker

OUP Oxford

A First Course in Logic: An Introduction to Model Theory, Proof Computability,...

1.365,00 kr
Jämför 2 butiker 2 Butiker

Cambridge University Press

Proof Theory and Logic Programming: Computation as Search

849,93 kr
Mer information Mer info

Independently Published

concepts of Mathematical Logic and Set Theory

200,84 kr
Jämför 2 butiker 2 Butiker
Utvalt Val
288,05 kr
Til butik