The theory of constructive types : (principles of logic and mathematics) / By Leon Chwistek.

Bibliographic Details
Main Author:	Chwistek, Leon, 1884-1944
Language:	English
Published:	Cracow : University press, 1925.
Subjects:	Mathematics > Philosophy. Logic, Symbolic and mathematical.
Online Access:	Connect to online resource - All users (University of Michigan) Connect to online resource - All users (University of Michigan)
Physical Description:	1 preliminary leaf, [9]-98 pages : illustrations ; 26 cm
Format:	Electronic

Similar Items

Philosophy of Mathematics in the Twentieth Century : Selected Essays
by: Parsons, Charles, 1933-
Published: (2014)

Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)

Mathematical logic
by: Turing, Alan, 1912-1954
Published: (2001)

Lectures in logic and set theory. Volume 1, Mathematical logic
by: Tourlakis, George J.
Published: (2003)

Reports on mathematical logic.
Published: (1973)

Mathematical logic in the 20th century
Published: (2003)

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
by: Goldblatt, Robert
Published: (2011)

Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics
by: Goldblatt, Robert
Published: (2011)

A beginner's further guide to mathematical logic
by: Smullyan, Raymond M.
Published: (2017)

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
Published: (2002)

Logics of time and computation
by: Goldblatt, Robert
Published: (1987)

Lectures in logic and set theory
by: Tourlakis, George J.
Published: (2003)

Lectures in logic and set theory. Volume 2, Set theory
by: Tourlakis, George J.
Published: (2003)

Proceedings of the tenth international symposium on multiple-valued logic : Northwestern University, Evanston, Illinois.
Published: (1980)

The bulletin of symbolic logic.
Published: (1995)

Linear logic
Published: (1995)

Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973
Published: (1975)

Logic Colloquium 2007
Published: (2010)

Logic Colloquium 2006
Published: (2009)

Logic Colloquium 2006
Published: (2009)

Advances in linear logic
Published: (1995)

Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
Published: (2015)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Published: (2007)

Logica universalis : towards a general theory of logic
Published: (2005)

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
Published: (2007)

Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Published: (2006)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981
Published: (1982)

Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
Published: (2007)

Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013
Published: (2015)

A guide to NIP theories
by: Simon, Pierre, 1985-
Published: (2015)

Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
Published: (1979)

Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985
Published: (1987)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
Published: (1977)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
Published: (1986)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Published: (1989)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
Published: (1988)

Beyond first order model theory
Published: (2017)

Computability and logic
by: Cohen, Daniel E.
Published: (1987)

Mathematical logic and computability
by: Keisler, H. Jerome
Published: (1996)

Kurt Gödel : essays for his centennial
Published: (2010)