Results 1 - 50 of 623 for Library Catalog (Excludes Articles)
- Relevance
- Date-newest
- Popularity
- Author
- Title
- Available in the Library (457)
- Full Text Online (170)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book
|
|
Introduction to mathematical logicElliott. Mendelson3rd ed.. c1987Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .M4 1987 )() |
| 2 |
Material Type: Book
|
|
Lewis Carroll's Symbolic logic : part I, Elementary, 1896, fifth edition, part II, Advanced, never previously published : together with letters from Lewis Carroll to eminent nineteenth-century logicians and to his "logical sister," and eight versions of the Barber-shop paradoxLewis Carroll 1832-1898. William Warren Bartley 1934-1990.c1977Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .D67 1977 )() |
| 3 |
Material Type: Book
|
|
Paradox and paraconsistency : conflict resolution in the abstract sciencesJohn Woods2003Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .W749 2003 )() |
| 4 |
Material Type: Book
|
|
Mits, wits, and logicLillian R. Lieber (Lillian Rosanoff), 1886-1986.3d ed.. 1960Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .L71 )() |
| 5 |
Material Type: Book
|
|
The elements of mathematical logic.Paul C. Rosenbloom[1st ed.. 1950Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .R55 )() |
| 6 |
Material Type: Book
|
|
First-order logicRaymond M. Smullyan1968Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .S57 )() |
| 7 |
Material Type: Book
|
|
The language of logic.Hans Freudenthal 1905-1990.1966Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .F7513 )() |
| 8 |
Material Type: Book
|
|
The equations : icons of knowledgeSander Baisc2005Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 211 .B16 2005 )() |
| 9 |
Material Type: Book
|
|
Einführung in die symbolische Logik, mit besonderer Berücksichtigung ihrer Anwendungen.Rudolf Carnap 1891-1970.1954Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .C37 )() |
| 10 |
Material Type: Book
|
|
Introduction to symbolic logic and its applicationsRudolf Carnap 1891-1970.1958Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .C318 )() |
| 11 |
Material Type: Book
|
|
Introduction to mathematical logicHans Hermes1973Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .H4413 )() |
| 12 |
Material Type: Book
|
|
Principles of the algebra of logic : with examplesAlexander Macfarlane 1851-1913.1879Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .M25 )() |
| 13 |
Material Type: Book
|
|
The logical syntax of languageRudolf Carnap 1891-1970. Amethe Smeaton1954, c1937Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .C323 1937a )() |
| 14 |
Material Type: Book
|
|
An introduction to symbolic logic.Susanne K. Langer (Susanne Katherina Knauth), 1895-1985.2d rev. ed.. 1953Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .L35 1953 )() |
| 15 |
Material Type: Book
|
|
Phenomenology and logic : the Boston College Lectures on mathematical logic and existentialismBernard J. F. Lonergan Frederick E Crowe; Robert M. Doran 1939-; Philip McShane; Lonergan Research Institute.; Boston College.c2001Available at UDM McNichols Campus Library UDM McNichols Library Stacks (B 29 .L59 1988 v.18 )() |
| 16 |
Material Type: Book
|
|
Introduction to semanticsRudolf Carnap 1891-1970.1942Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .C316 )() |
| 17 |
Material Type: Book
|
|
On the syllogism : and other logical writingsAugustus De Morgan 1806-1871 Peter Heath 1922-2002.1966Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .D43 1966 )() |
| 18 |
Material Type: Book
|
|
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) A Kino; John Myhill; R. E. Vesley; State University College at Buffalo1970Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA9 .C742 1968 )() |
| 19 |
Material Type: Book
|
|
Essays on Wittgenstein's TractatusIrving M. Copi editor.; Robert W. Beard editor.2007Online access |
| 20 |
Material Type: Book
|
|
Logic and knowledge; essays, 1901-1950.Bertrand Russell 1872-1970.1956Available at UDM McNichols Campus Library UDM McNichols Library Stacks (B 1649 .R93 L6 )() |
| 21 |
Material Type: Book
|
|
Regulae ad directionem ingeniiRené Descartes 1596-1650. Giovanni Crapulli1966Available at UDM McNichols Campus Library UDM McNichols Library Stacks (B 1868 .R4 1966 )() |
| 22 |
Material Type: Journal
|
|
Bulletin of the Section of Logic.Instytut Filozofii i Socjologii (Polska Akademia Nauk); Uniwersytet Łódzki. Dział logiki.1972-Online access |
| 23 |
Material Type: Book
|
|
Propositional logic.Howard Pospesel 1937-2019.1974Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 181 .P85p )() |
| 24 |
Material Type: Book
|
|
Introduction to semantics, and Formalization of logic.Rudolf Carnap 1891-1970.1961 [c1943Available at UDM McNichols Campus Library UDM McNichols Library Stacks (BC 135 .C28 I )() |
| 25 |
Material Type: Book
|
|
Proof theoryGaisi Takeuti 1926-2017.1975Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9.54 .T34 1975 )() |
| 26 |
Material Type: Book
|
|
An introduction to mathematical reasoning : numbers, sets, and functionsPeter J. Eccles 1945-1997Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9.54 .E23 1997 )() |
| 27 |
Material Type: Journal
|
|
|
| 28 |
Material Type: Book
|
|
Russell's hidden substitutional theoryGregory Landini1998Available at UDM McNichols Campus Library UDM McNichols Library Stacks (B 1649 .R94 L36 1998 )() |
| 29 |
Material Type: Book
|
|
Thinking recursivelyEric Robertsc1986Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9.6 .R63 1986 )() |
| 30 |
Material Type: Book
|
|
Studies in model theoryM. D. Morley (Michael Darwin), 1930- Jon Barwisec1973Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9.7 .M67 )() |
| 31 |
Material Type: Book
|
|
An introduction to the elements of mathematics.John N. Fujii1962, c1961Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .F8 )() |
| 32 |
Material Type: Book
|
|
Principia mathematicaAlfred North Whitehead 1861-1947 Bertrand Russell 1872-1970.2d ed.. 1957, c1925-1927Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .W5 1925 )() |
| 33 |
Material Type: Book
|
|
Applications of model theory to algebra, analysis, and probabilityInternational Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability (1967 : California Institute of Technology) W. A. J. Luxemburg; California Institute of Technology1969Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .I55 1967 )() |
| 34 |
Material Type: Book
|
|
Meaning and necessity : a study in semantics and modal logic.Rudolf Carnap 1891-1970.[2d ed., enl.]. 1960 [1956Available at UDM McNichols Campus Library UDM McNichols Library Stacks (B 840 .C3 1956 )() |
| 35 |
Material Type: Book
|
|
Retracing elementary mathematicsLeon Henkin1962Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .H43 )() |
| 36 |
Material Type: Book
|
|
Model theory and its applications.Ralph Kopperman1972Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .K6778 )() |
| 37 |
Material Type: Book
|
|
|
| 38 |
Material Type: Book
|
|
|
| 39 |
Material Type: Book
|
|
|
| 40 |
Material Type: Book
|
|
A formalization of set theory without variablesAlfred Tarski 1901-1983. Steven R Givantc1987Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 248 .T37 1987 )() |
| 41 |
Material Type: Book
|
|
From Frege to Gödel : a source book in mathematical logic, 1879-1931.Jean Van Heijenoort 1912-1986.1977, c.1967Available at UDM McNichols Campus Library UDM McNichols Library Stacks (QA 9 .V3 )() |
| 42 |
Material Type: Book
|
|
|
| 43 |
Material Type: Book
|
|
Studies in logicCharles S Peirce (Charles Sanders), 1839-1914.; Max H Fisch; Achim Eschbach; Johns Hopkins University.1983Online access |
| 44 |
Material Type: Book
|
|
Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009Asian Logic Conference (11th : 2009 : Singapore) C.-T Chong (Chi-Tat), 1949-; T Arai (Toshiyasu); Asian Logic Conferencec2012Online access |
| 45 |
Material Type: Book
|
|
Collected works. Volume IV, Correspondence A-GKurt. Gödel Solomon Feferman; John W. Dawson Jr.; Warren Goldfarb; Charles Parsons 1933-; Wilfried Sieg2014Online access |
| 46 |
Material Type: Book
|
|
The continuum companion to philosophical logicRichard Pettigrew editor.; Leon Horsten editor.2011Online access |
| 47 |