Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

CORR
2010
Springer

favoriteEmaildiscussreport

52views Education» more CORR 2010»

Herbrand Consistency of Some Arithmetical Theories

13 years 5 months ago

Herbrand Consistency of Some Arithmetical Theories

Download saeedsalehi.ir

G

Saeed Salehi

Real-time Traffic

Arithmetical Theories | CORR 2010 | Education | Fundamenta Mathematicae | Herbrand Consistency |

claim paper

Related Content

» On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arit...

» A Hidden Herbrand Theorem

» NeoFregean Foundations for Real Analysis Some Reflections on Freges Constraint

» Embedding Deduction Modulo into a Prover

» A System for Solving Constraint Satisfaction Problems with SMT

» GRID Resource Searching on the GridSim Simulator

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2010
Where	CORR
Authors	Saeed Salehi

Comments (0)