The theory of logical types /

An introduction to mathematical logic and type theory : to truth through proof /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (2002)

A transfinite type theory with type variables /
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1965)

The logic of fiction : a philosophical sounding of deviant logic /
by: Woods, John (John Hayden)
Published: (1974)

The logic of provability /
by: Boolos, George
Published: (1993)

History and philosophy of constructive type theory /
by: Sommaruga, Giovanni
Published: (2000)

Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995 /
Published: (2020)

A modern perspective on type theory : from its origins until today /
by: Kamareddine, Fairouz D.
Published: (2004)

Session Types /
by: Gay, Simon, 1969-, et al.
Published: (2025)

Basic simple type theory /
by: Hindley, J. Roger
Published: (1997)

Behavioural types : from theory to tools /
Published: (2017)

Type logical grammar : categorial logic of signs /
by: Morrill, Glyn V.
Published: (1994)

The unprovability of consistency : an essay in modal logic /
by: Boolos, George
Published: (1979)

Logique, language et théorie de l'information /
by: Apostel, Leo
Published: (1957)

Modern modalities : studies of the history of modal theories from medieval nominalism to logical positivism /
Published: (1988)

Historical types : from Gutenberg to Ashendene /
by: Knight, Stan, 1937-
Published: (2012)

Type : a visual history of typefaces and graphic styles, 1628-1900 /
Published: (2009)

Proofs and types /
by: Girard, Jean-Yves
Published: (1989)

Printing types; an introduction
by: Lawson, Alexander S.
Published: (1971)

An approach to type.
by: Biggs, John R.
Published: (1949)

The 3D type book /
by: Jacquillat, Agathe
Published: (2011)

The logic of conditionals : an application of probability to deductive logic /
by: Adams, Ernest W. (Ernest Wilcox), 1926-
Published: (1975)

Treatise on intuitionistic type theory /
by: Granström, Johan Georg
Published: (2011)

Type : the secret history of letters /
by: Loxley, Simon
Published: (2004)

Type : the secret history of letters /
by: Loxley, Simon
Published: (2004)

An A-Z of type designers /
by: Macmillan, Neil
Published: (2006)

Intentional logic : a logic based on philosophical realism.
by: Veatch, Henry Babcock
Published: (1970)

Temporal logics /
by: Goranko, Valentin
Published: (2023)

Imperatives and their logics /
by: Moutafakis, Nicholas J., 1941-
Published: (1975)

Modal logics /
by: Feys, Robert, 1889-
Published: (1965)

Tense logic /
by: McArthur, Robert P., 1944-
Published: (1976)

The logic of commands.
by: Rescher, Nicholas
Published: (1966)

Logical pluralism /
by: Beall, J. C.
Published: (2006)

Relevance logic /
by: Logan, Shay Allen
Published: (2024)

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

Type : hot designers make cool fonts /
by: Haley, Allan
Published: (1998)

Type & typography /
by: Baines, Phil, 1958-
Published: (2005)