Geometric calculus : according to the Ausdehnungslehre of H. Grassmann /

The directional calculus : based upon the methods of Hermann Grassmann /
by: Hyde, E. W. (Edward Wyllys), 1843-
Published: (1890)

The calculus of extension /
by: Forder, H. G. (Henry George), 1889-
Published: (1941)

The calculus of extension /
by: Forder, H. G. (Henry George), 1889-
Published: (1960)

Die Ausdehnungslehre von 1844 und Die geometrische Analyse /
by: Grassmann, Hermann, 1809-1877
Published: (1969)

Gesammelte mathematische und physikalische Werke. : Auf Veranlassung der Mathematisch-Physischen Klasse der Kgl. Sachsischen Gesellschaft der Wissenschaften und unter Mitwirkung der Herren: Jakob Luroth [et al.] /
by: Grassmann, Hermann, 1809-1877
Published: (1972)

First-order functional calculus /
by: Keene, G. B. (Geoffrey Bourton)
Published: (1964)

Label-selective [lambda]-calculus /
by: Aït-Kaci, Hassan, 1954-
Published: (1993)

The genericity theorem and the notion of parametricity in the polymorphic [lambda]-calculus /
by: Longo, G. Giuseppe
Published: (1992)

The development of symbolic logic ; a critical-historical study of the logical calculus /
by: Shearman, A. T. (Arthur Thomas)

Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)

Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)

The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning /
by: Boole, George, 1815-1864
Published: (1998)

Logic for applications /
by: Nerode, Anil, 1932-
Published: (1993)

Theorie des modeles en logique mathematique.
by: Daigneault, Aubert, 1932-
Published: (1967)

Collected works /
by: Gödel, Kurt
Published: (1986)

Many-sorted logic and its applications /
Published: (1993)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2008)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2004)

The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability /
by: Reichenbach, Hans, 1891-1953
Published: (1949)

Logical forms : an introduction to philosophical logic /
by: Sainsbury, R. M. (Richard Mark)
Published: (1991)

The logical problem of induction.
by: Wright, G. H. von (Georg Henrik), 1916-2003
Published: (1957)

Applied logic /
by: Hansen, Kaj Børge
Published: (1996)

Logical papers /
by: Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716
Published: (1966)

Perspectives on the history of mathematical logic /
Published: (2008)

Mathematical interpretation of formal systems
Published: (1955)

Deducibility and decidability /
by: Gill, R. R. Rockingham, 1944-
Published: (1990)

Logical options : an introduction to classical and alternative logics /
by: Bell, J. L. (John Lane)
Published: (2001)

A primer of formal logic /
by: Cooley, John Cleveland, 1903-
Published: (1942)

The logic book /
by: Bergmann, Merrie
Published: (1990)

An examination of logical positivism /
by: Weinberg, Julius R. (Julius Rudolph), 1908-1971
Published: (1936)

Classical and fuzzy concepts in mathematical logic and applications /
by: Reghiș, Mircea
Published: (1998)

Solutions to selected exercises in The logic book /
by: Bergmann, Merrie
Published: (1980)

Introduction to deontic logic and the theory of normative systems /
by: Åqvist, Lennart
Published: (1987)

Logic for computer scientists /
by: Schöning, Uwe, 1955-
Published: (1989)