scientific article; zbMATH DE number 3643255

zbMATH Open0414.03033MaRDI QIDQ3048826FDOQ3048826

Authors: Georg Kreisel 

Publication date: 1977

Title of this publication is not available (Why is that?)

zbMATH Keywords

proof theorydivision algebrasK-theoryRamsey's theoremreal closed fieldsHilbert's programautomatic theorem-provingmechanical unwinding of proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) Proof theory and constructive mathematics (03F99)

Cited In (1)

• A bibliography of quantifier elimination for real closed fields

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3048826)