Normalization, cut-elimination, and the theory of proofs /

Normalization, cut-elimination, and the theory of proofs /

Bibliographic Details
Main Author:	Ungar, A. M. (Anthony M.), 1945- (συγγραφέας.)
Format:	Book
Language:	English
Published:	Stanford, CA : CSLI, c1992.
Series:	CSLI lecture notes 28.
Subjects:	Λογική, Συμβολική και μαθηματική

Similar Items

Cut elimination in categories
by: Dosen, Kosta
Published: (1999)

Proof theory /
by: Takeuti, Gaisi 1926-
Published: (1975)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1996)

Basic proof theory /
by: Troelstra, A. S. (Anne Sjerp)
Published: (2000)

Algebra of proofs /
by: Szabo, M. E.
Published: (1978)

Proof theory and intuitionistic systems /
by: Scarpellini, Bruno
Published: (1971)

The structure of proof : with logic and set theory /
by: O'Leary, Michael L.
Published: (2002)

The nuts and bolts of proofs
by: Cupillari, Antonella
Published: (2001)

Introduction to mathematical proofs a transition
by: Roberts, Charles E.
Published: (2010)

Arithmetic, proof theory, and computational complexity
Published: (1993)

Proofs and refutations the logic of mathematical discovery
by: Lakatos, Imre
Published: (1976)

Proofs and refutations the logic of mathematical discovery
by: Lakatos, Imre
Published: (1981)

How to read and do proofs an introduction to mathematical thought processes
by: Solow, Daniel
Published: (2002)

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Journey into mathematics an introduction to proofs
by: Rotman, Joseph J., 1934-
Published: (1998)

Theory of relations /
by: Fraisse, Roland
Published: (2000)

Boolean-valued models and independence proofs in set theory
by: Bell, J. L.
Published: (1985)

Extensional Gödel functional interpretation : a consistency proof of classical analysis /
by: Luckhardt, Horst
Published: (1973)

Basic model theory
by: Doets, Kees
Published: (1996)

Continuous model theory /
by: Chang, Chen Chung, 1927-
Published: (1966)

Theory of symmetric lattices /
by: Maeda, Fumitomo, 1897-1965
Published: (1970)

Algebraic complexity theory /
by: Bürgisser, Peter, 1962-
Published: (1997)

Metamathematics, machines, and Godel's proof /
by: Shankar, N.
Published: (1997)

Extensional constructs in intensional type theory
by: Hofmann, Martin
Published: (1997)

Automata theory and its applications
by: Khoussainov, Bakhadyr 1961-
Published: (2001)

Sets, logic, and axiomatic theories
by: Stoll, Robert R.
Published: (1961)

Categorical logic and type theory /
by: Jacobs, Bart
Published: (1999)

The monadic second order theory of all countable ordinals /
by: Büchi, J. Richard
Published: (1973)

Foundations of the logical theory of scientific knowledge (complex logic) /
by: Zinoviev, Aleksandr, 1922-2006
Published: (1973)

First-order logic /
by: Smullyan, Raymond M.
Published: (1968)

Mathematical logic and foundations of set theory : proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 /
Published: (1970)

A first course in logic an introduction to model theory, proof theory, computability and complexity
by: Hedman, Shawn
Published: (2004)

Ancient formal logic /
by: Bochenski, Joseph M., 1902-1995
Published: (1963)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

Mathematical logic applications and theory
by: Rubin, Jean E.
Published: (1990)

Introduction to elementary mathematical logic /
by: Stoli︠a︡r, A. A. (Abram Aronovich)
Published: (1984)

Elements of mathematical logic : (model theory) /
by: Kreisel, Georg
Published: (1967)

Elements of the theory of computation
by: Lewis, Harry R., et al.
Published: (1998)

Logic in algebraic form : three languages and theories /
by: Craig, William, 1918-
Published: (1974)

Introduction to symbolic logic
by: Basson, A. H.
Published: (1959)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών