100% mathematical proof /

by Garnier, Rowan
Published 1996

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /

Published 1980

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /

Published 1982

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /

Published 1984

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /

Published 1986

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /

Published 1988

Abhandlungen zur Philosophie der Mathematik /

by Bernays, Paul, 1888-
Published 1976

Abstract sets and finite ordinals : an introduction to the study of set theory.

by Keene, G. B. (Geoffrey Bourton)
Published 1961

Advanced logic for applications /

by Grandy, Richard E.
Published 1979

Advanced Łukasiewicz calculus and MV-algebras /

by Mundici, Daniele, 1946-
Published 2011

After Gödel : Platonism and rationalism in mathematics and logic /

by Tieszen, Richard L.
Published 2011

Alan Turing : his work and impact /

Published 2013

Alfred Tarski : life and logic /

by Feferman, Anita Burdman
Published 2004

Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia /

Published 1975

Algebra of classes.

by Khan, Wahidullah
Published 1962

The algebra of logic : by Louis Couturat authorized English translation by Lydia Gillingham Robinson with a preface by Philip E.B. Jourdain.

by Couturat, Louis, 1868-1914
Published 1914

An algebraic introduction to mathematical logic : [By] Donald W. Barnes [and] John M. Mack /

by Barnes, Donald W.
Published 1975

Algebraic methods of mathematical logic /

by Rieger, Ladislav, 1916-1963
Published 1967

L'algebre de la logique /

by Couturat, Louis, 1868-1914
Published 1965

Applied logic : how, what, and why : logical approaches to natural language /

Published 1995