Grand Valley State University
Logic, Symbolic and mathematical
Type
http://bibfra.me/vocab/lite/Concept
Label
Logic, Symbolic and mathematical
Name
Logic, Symbolic and mathematical
Focus
Logic, Symbolic and mathematical
Actions
Share resources
Incoming Resources
Subject of
11
Proofs and refutations, the logic of mathematical discovery, by Imre Lakatos ; edited by John Worrall and Elie Zahar
Logic, semantics, metamathematics, papers from 1923 to 1938, by Alfred Tarski ; translated by J.H. Woodger
Mathematical logic, an introduction to model theory, A.H. Lightstone ; edited by H.B. Enderton
An introduction to symbolic logic, by Susanne K. Langer
An algebraic introduction to mathematical logic, D.W. Barnes, J.M. Mack
A course in mathematical logic for mathematicians, Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
Logic for mathematicians, A.G. Hamilton
Symbolic logic, by Irving M. Copi
A survey of symbolic logic, by C. I. Lewis
Prototractatus, an early version of Tractatus logico-philosophicus, by Ludwig Wittgenstein ; edited by B.F. McGuinness, T. Nyberg, G.H. von Wright ; with a translation by D.F. Pears, B.F. McGuinness ; an historical introduction by G.H. von Wright, and a facsimile of the author's manuscript
Mathematical logic and the foundations of mathematics, an introductory survey, G.T. Kneebone
Outgoing Resources
Focus
1
Logic, Symbolic and mathematical
Link Analysis