Proof theory.
Overview
| Works: | 13 works in 8 publications in 8 languages | |
|---|---|---|
Titles
Frege's notations[electronic resource] :what they are and how they mean /
by:
(Language materials, printed)
Conditional and preferential logics[electronic resource] :proof methods and theorem proving /
by:
(Language materials, printed)
2-D quadratic maps and 3-D ODE systems[electronic resource] :a rigorous approach /
by:
(Language materials, printed)
Proofs and fundamentals[electronic resource] :a first course in abstract mathematics /
by:
(Language materials, printed)
Where is the Godel-point hiding[electronic resource] :Gentzen's consistency proof of 1936 and his representation of constructive ordinals /
by:
(Language materials, printed)
Why prove it again?[electronic resource] :alternative proofs in mathematical practice /
by:
(Language materials, printed)
Gentzen's centenary[electronic resource] :the quest for consistency /
by:
(Language materials, printed)
Subjects