Skip to content
Toggle navigation
SEAL
Language
English
Malay
中文(简体)
தமிழ்
اللغة العربية
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Proof theory and logical compl...
Preview
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to MARCXML
Proof theory and logical complexity
Main Author:
Girard, Jean-Yves
(Author)
Subjects:
Proof theory
Holdings
Description
Preview
Similar Items
Staff View
Similar Items
Proof Theory : Sequent Calculi and Related Formalisms Katalin Bimbo.
by: Bimbo, Katalin
Reductive logic and proof-search : proof theory, semantics, and control David J. Pym and Eike Ritter.
by: Pym, David J.
Published: (2004)
Basic proof theory A.S. Troelstra, H. Schwichtenberg.
by: Troelstra, A. S.
The nuts and bolts of proofs Antonella Cupillari.
by: Cupillari, Antonella
Proofs and fundamentals : a first course in abstract mathematics Ethan D. Bloch.
by: Bloch, Ethan D., 1956-
Published: (2000)
×
Loading...
