Extensional constructs in intensional type theory

Extensional constructs in intensional type theory

Bibliographic Details
Main Author:	Hofmann, Martin
Format:	Book
Language:	English
Published:	Berlin Springer 1997
Series:	CPHC/BCS distinguished dissertations
Subjects:	Λογική, Συμβολική και μαθηματική Λογική

Similar Items

Intensional logic and the metaphysics of intentionality /
by: Zalta, Edward N., 1952-
Published: (1988)

Topics in philoshophical logic
by: Rescher, Nicholas
Published: (1968)

Modal logic an introduction
by: Chellas, Brian F.
Published: (1995)

Self-reference and modal logic /
by: Smorynski, C.
Published: (1985)

Εισαγωγή στη συμβολική λογική
by: Καργόπουλος, Φίλιππος Β.
Published: (2008)

Papers in philosophical logic
by: Lewis, David K. (David Kellogg), 1941-2001
Published: (1998)

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

Constructive order types /
by: Crossley, John N.
Published: (1969)

First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1996)

Toward a logic of meanings
by: Piaget, Jean, 1896-1980
Published: (1991)

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

Constructibility
by: Devlin, Keith J.
Published: (1984)

Constructibility
by: Devlin, Keith J.
Published: (1984)

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

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

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

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

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

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

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

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

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

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

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

Normalization, cut-elimination, and the theory of proofs /
by: Ungar, A. M. (Anthony M.), 1945-
Published: (1992)

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)

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)

Fuzzy sets and fuzzy logic : theory and applications /
by: Klir, George J. 1932-
Published: (1995)

Fuzzy sets and fuzzy logic theory and applications
by: Klir, George J. 1932-
Published: (1995)

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

An introduction to fuzzy logic for practical applications
by: Tanaka, Kazuo
Published: (1997)

Introduction to metamathematics
by: Kleene, Stephen Cole, 1909-1994
Published: (1971)

Στατιστική ανάλυση πολυδιάστατων δεδομένων η παραγοντική ανάλυση αντιστοιχιών στην ασαφή λογική
by: Θεοδώρου, Ιωάννης Α.
Published: (2005)

Fuzzy logic η νέα επιστήμη
by: Kosko, Bart
Published: (1993)

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

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

Fuzzy expert system tools
by: Schneider, Moti
Published: (1996)

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

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: Hermes, Hans
Published: (1969)

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