Proofs and computations /

Manylion Llyfryddiaeth
Prif Awduron: Schwichtenberg, Helmut, Wainer, S. S. (Awdur)
Awdur Corfforaethol: Association for Symbolic Logic
Fformat: Printed Book
Iaith:English
Cyhoeddwyd: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Cyfres:Perspectives in logic.
Pynciau:
Computable functions.
Proof theory.
Mynediad Ar-lein:Table of contents only
Contributor biographical information
Publisher description

Rhyngrwyd

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Manylion daliadau o University of Calicut
Rhif Galw: 511.352
Copi Nid yw'r Statws Byw ar Gael

Eitemau Tebyg