Posjedovanje: Handbook of proof theory

Permalink:	http://skupnikatalog.nsk.hr/Record/uf.ZAG01000643726
Matična publikacija:	Studies in logic and the foundations of mathematics
Ostali autori:	Buss, Samuel R. (Editor)
Vrsta građe:	Knjiga
Jezik:	eng
Impresum:	Amsterdam [etc.] : Elsevier, 1998.
Nakladnička cjelina:	Studies in Logic and Foundations of Mathematics Vol. 137
Predmet:	Sequent calculus Cut elimination Natural deduction Proof theory in arithmetic Recursive functions Gödel's dialectical interpretation Realizibility Lengths of proofs Logic of provability Proof-theoretic framework for logic programming Types in logic, mathematic and programmming

Signatura:	51 HAN
Primjerak #1	Dostupno