← Back to Browse
Formally self-referential propositions for cut free classical analysis and related systems

Formally self-referential propositions for cut free classical analysis and related systems

by Georg Kreisel

Subjects

Numerical analysis Proposition (Logic) Symbolic and mathematical Logic
Read on Open Library More by Georg Kreisel

Related Books

Numerical methods for mathematics, science, and engineering

Numerical methods for mathematics, science, and engineering

John H. Mathews

19923 ed.
Gust acoustic response of a swept rectilinear cascade using the space-time CE/SE method

Gust acoustic response of a swept rectilinear cascade using the space-time CE/SE method

20011 ed.
Numerical methods using MATLAB

Numerical methods using MATLAB

John H. Mathews

19992 ed.
Numerical analysis

Numerical analysis

Richard L. Burden

197810 ed.
Numerical methods for scientific and engineering computation

Numerical methods for scientific and engineering computation

Jain, M. K.

19854 ed.
Applied numerical analysis

Applied numerical analysis

Curtis F. Gerald

197016 ed.
Numerical Methods

Numerical Methods

P. Kandasamy

20061 ed.
MATLAB

MATLAB

Amos Gilat

200320 ed.