|
|
Logic, Symbolic and mathematical.
|
|
|
The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-19
QA9 .M295 2010
|
Bestseller
|
2010
|
Analysis and logic / edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson [and oth
QA300.5 .A536 2002eb
|
Bestseller
|
2002
|
Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny.
QA29.M67 A53 2008eb
|
Bestseller
|
2008
|
Appalachian set theory : 2006-2012 / edited by James Cummings and Ernest Schimmerling.
QA9 .A66 2012
|
Bestseller
|
2012
|
247 additional entries
|
|
|
|
Logic, Symbolic and mathematical -- Charts, diagrams, etc. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh99001425
|
|
|
Logical reasoning with diagrams / edited by Gerard Allwein and Jon Barwise ; with contributions by Ge
QA9 .L624 1996eb
|
Bestseller
|
1996
|
|
Logic, Symbolic and mathematical -- Congresses.
|
|
|
Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.
QA9.A1 L56 1995eb
|
Bestseller
|
1995
|
Advances in logic, artificial intelligence, and robotics : LAPTEC 2002 / edited by Jair Minoro Abe an
Q334 .C69 2002eb
|
Bestseller
|
2002
|
Advances in logic based intelligent systems : selected papers of LAPTEC 2005 / edited by Kazumi Nakam
Q334 .C69 2005
|
Bestseller
|
2005
|
Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the
QA76 .C66 2007eb
|
Bestseller
|
2009
|
21 additional entries
|
|
|
|
Logic, Symbolic and mathematical -- Data processing. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh99005487 : Mueller, Erik T.
|
|
|
Commonsense reasoning / Erik T. Mueller.
Q338.85 .M84 2006eb
|
Bestseller
|
2006
|
|
Logic, Symbolic and mathematical -- Famous problems. / https://id.loc.gov/authorities/subjects/sh2005003533 : Kowalski, Robert.
|
|
|
Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski.
Q342 .K69 2011eb
|
Bestseller
|
2011
|
|
Logic, Symbolic and mathematical -- Graphic methods.
|
|
|
Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joo
QA9 .C748 2012
;
Moore Stacks:Available
|
Book
|
2012
|
Graph structure and monadic second-order logic : a language-theoretic approach / Bruno Courcelle, Joo
QA9 .C748 2012eb
|
Bestseller
|
2012
|
|
Logic, Symbolic and mathematical -- History -- 19th century. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh2002006167 : Grattan-Guinness, I.
|
|
|
The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematic
QA248 .G684 2000eb
|
Bestseller
|
2000
|
|
Logic, Symbolic and mathematical -- History -- 20th century.
|
|
|
Russell's hidden substitutional theory / Gregory Landini.
B1649.R94 L36 1998eb
|
Bestseller
|
1998
|
The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematic
QA248 .G684 2000eb
|
Bestseller
|
2000
|
|
Logic, Symbolic and mathematical -- Methodology. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh99001902 : Davis, Philip J.,
|
|
|
Mathematics and common sense : a case of creative tension / Philip J. Davis.
QA9.2 .D38 2006
;
Moore Stacks:Available
|
Book
|
2006
|
|
Logic, Symbolic and mathematical -- Philosophy.
|
|
|
The construction of logical space / Agustín Rayo.
QA8.4
|
Bestseller
|
2013
|
The future of post-human mathematical logic / by Peter Baofu.
QA9 B25 2008
|
Bestseller
|
2008
|
|
Logic, Symbolic and mathematical -- Popular works. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh99001720 : Cheng, Eugenia,
|
|
|
Beyond infinity : an expedition to the outer-limits of mathematical universe / Eugenia Cheng.
QA9
|
Bestseller
|
2017
|
|
Logic, Symbolic and mathematical -- Programmed instruction.
|
|
|
The language of logic; a programed text / Morton L. Schagrin.
BC135 .S3
;
Moore Stacks:Available
|
Book
|
1968
|
Logic; a programed text for two-valued and three-valued logics / Edward J. Zoll.
QA9 .Z6
;
Moore Stacks:Available
|
Book
|
1968
|
Symbolic logic and language; a programmed text / by James Dickoff [and] Patricia James.
BC135 .D5
;
Moore Stacks:Available
|
Book
|
1965
|
|
Logic, Symbolic and mathematical -- Study and teaching. / https://id.loc.gov/authorities/subjects/sh85078115 https://id.loc.gov/authorities/subjects/sh2001008697
|
|
|
Helping students make sense of the world using next generation science and engineering practices / Ch
QA9
|
Bestseller
|
2017
|
|
Logic, Symbolic and mathematical -- Textbooks.
|
|
|
Bridge to abstract mathematics / Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence.
QA9
|
Bestseller
|
2012
|
Formal logic : a philosophical approach / Paul Hoyningen-Huene ; translated by Alex Levine.
BC135.H6913 2004
|
Bestseller
|
2004
|
Reasoning about uncertainty / Joseph Y. Halpern.
Q375 .H35 2017eb
|
Bestseller
|
2017
|
|
|
|
|
|
Logic -- Terminology -- History. / https://id.loc.gov/authorities/subjects/sh85078106 https://id.loc.gov/authorities/subjects/sh99001987 https://id.loc.gov/authorities/subjects/sh99005024 : Abed, Shukri.
|
|
|
Aristotelian logic and the Arabic language in Alfārābī / Shukri B. Abed.
B753.F34 A62 1991eb
|
Bestseller
|
1991
|
|
Logic -- Textbooks.
|
|
|
A concise introduction to logic / Craig DeLancey.
BC108 .D45eb
|
Bestseller
|
2017
|
Einführung in die Logik / Ansgar Beckermann.
BC114 .B43 2011eb
|
Bestseller
|
2011
|
Forall x : an introduction to formal logic / P.D. Magnus.
BC108 .M29
|
Bestseller
|
2005
|
forall x Calgary : an introduction to formal logic / by P. D. Magnus, Tim Button ; with additions by
BC71 .M342 2020eb
|
Bestseller
|
2020
|
3 additional entries
|
|
|
|
Logic The Theory Of Inquiry Dewey John 1859 1952 : Handy, Rollo.
|
|
|
Useful procedures of inquiry / by Rollo Handy and E. C. Harwood. Including Knowing and the known [by]
BD161 .H27
;
Moore Stacks:Available
|
Book
|
1973
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logica.
|
|
|
The core model / A. Dodd.
QA248 .D55 1982eb
|
Bestseller
|
1982
|
Topical relevance in argumentation / by Douglas N. Walton.
BC177 .W328 1982eb
|
Bestseller
|
1982
|
|
Logica Modernorum Rijk L M De 1924 2012
|
|
|
Medieval supposition theory revisited : studies in memory of L.M. de Rijk / edited by E.P. Bos in col
B4095.R554 M43 2013eb
|
Bestseller
|
2013
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logical positivism
--
5 Related Subjects
|
|
|
|
Logical positivism.
|
|
|
Analytic philosophy; an historical introduction / by Barry R. Gross.
B808.5 .G76
;
Moore Stacks:Available
|
Book
|
1970
|
Bloomsbury companion to Berkeley / edited by Bertil Belfrage and Richard Brook.
B1348
|
Bestseller
|
2017
|
The conceptual link from physical to mental / Robert Kirk.
B824.6
|
Bestseller
|
2013
|
Consciousness and fundamental reality / by Philip Goff.
B808.9 .G64 2017.9
|
Bestseller
|
2017
|
28 additional entries
|
|
|
|
Logical positivism -- Congresses. / https://id.loc.gov/authorities/subjects/sh85078124 https://id.loc.gov/authorities/subjects/sh99001533
|
|
|
Emergence or reduction? : essays on the prospects of nonreductive physicalism / edited by Ansgar Beck
B824.6 .E44 1992eb
|
Bestseller
|
1992
|
|
Logical positivism -- History.
|
|
|
Behaviorism and logical positivism : a reassessment of the alliance / Laurence D. Smith.
BF199 .S59 1986
;
Moore Stacks:Available
|
Book
|
1986
|
Fictions of fact and value : the erasure of logical positivism in American literature, 1945-1975 / Mi
PS379 .L44 2013eb
|
Bestseller
|
2013
|
Schoenberg, Wittgenstein and the Vienna Circle / James K. Wright.
ML410.S3666 W75 S36
;
Talbott: Circulating Collection:Available
|
Book
|
2007
|
|
Logical puzzles
--
2 Related Subjects
|
|
|
|
Logical semantics
--
2 Related Subjects
|
|
|
|
Logicians -- See Also the narrower term Muslim logicians
|
|
|
|
Logicians -- Austria -- Biography.
|
|
|
Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein.
QA29.G58 G65 2005
;
Moore Stacks:Available
|
Book
|
2005
|
A logical journey : from Gödel to philosophy / Hao Wang.
QA29.G58 W357 1996eb
|
Bestseller
|
1996
|
Reflections on Kurt Godel / Hao Wang.
QA29.G58 W36 1987
;
Moore Stacks:Available
|
Book
|
1987
|
Reflections on Kurt Gödel / Hao Wang.
QA29.G58 W36 1987eb
|
Bestseller
|
1987
|
|
Logicians -- Great Britain -- Biography.
|
|
|
British rhetoricians and logicians, 1500-1660. First series / Edward A. Malone, editor.
|
Bestseller
|
2001
|
British rhetoricians and logicians, 1500-1660. Second series / Edward A. Malone, editor.
|
Bestseller
|
2003
|
The logician and the engineer : how George Boole and Claude Shannon created the information age / Pau
QA76.9.L63 N34 2012eb
|
Bestseller
|
2012
|
|
|
|
|
|
Logicians -- Poland. / https://id.loc.gov/authorities/subjects/sh85078125 https://id.loc.gov/authorities/names/n79131071-781 : McCall, Storrs.
|
|
|
Polish logic, 1920-1939, papers by Ajdukiewicz [and others]; with, an introduction by Tadeusz Kotarbí
BC135 .M1813
;
Moore Stacks:Available
|
Book
|
1967
|
|
Logicians -- Poland -- Biography. / https://id.loc.gov/authorities/subjects/sh85078125 https://id.loc.gov/authorities/names/n79131071-781 https://id.loc.gov/authorities/subjects/sh99001237
|
|
|
Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny.
QA29.M67 A53 2008eb
|
Bestseller
|
2008
|
|
Logicians -- United States -- Biography.
|
|
|
Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein.
QA29.G58 G65 2005
;
Moore Stacks:Available
|
Book
|
2005
|
A logical journey : from Gödel to philosophy / Hao Wang.
QA29.G58 W357 1996eb
|
Bestseller
|
1996
|
Reflections on Kurt Godel / Hao Wang.
QA29.G58 W36 1987
;
Moore Stacks:Available
|
Book
|
1987
|
Reflections on Kurt Gödel / Hao Wang.
QA29.G58 W36 1987eb
|
Bestseller
|
1987
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logik Der Forschung Popper Karl R Karl Raimund 1902 1994
|
|
|
The power of argumentation / edited by Enrique Suárez-Iñiguez.
B1649.P64 P69 2007eb
|
Bestseller
|
2007
|
|
Logique Du Sens Deleuze Gilles 1925 1995
|
|
|
Deleuze and desire : analysis of The logic of sense / Piotrek Świątkowski.
B2430.D454 S95 2015eb
|
Bestseller
|
2015
|
Gilles Deleuze's Logic of sense : a critical introduction and guide / James Williams.
B2430.D454 W55 2008eb
|
Bestseller
|
2008
|
Priority of events : Deleuze's Logic of sense / Sean Bowden.
B840 .D3813 2011
|
Bestseller
|
2011
|
|
|
|
|
|
|
|
|
|
Logische Untersuchungen Husserl Edmund 1859 1938
|
|
|
Husserl and the logic of experience / edited by Gary Banham.
B3279.H93 L64344 2005
;
Moore Stacks:Available
|
Book
|
2005
|
|
Logistic distribution. / https://id.loc.gov/authorities/subjects/sh91004798 : Menard, Scott W.
|
|
|
Applied logistic regression analysis / Scott Menard.
QA278.2 .M46 2002
;
Moore Stacks:Available
|
Book
|
2002
|
|