skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Index

Results 1 - 50 of 626  for Library Catalog (Excludes Articles)

Results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Introduction to mathematical logic
Material Type:
Book
Add to e-Shelf

Introduction to mathematical logic

Elliott. Mendelson

3rd ed.. c1987

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .M4 1987 )()

2
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 paradox
Material Type:
Book
Add to e-Shelf

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 paradox

Lewis Carroll 1832-1898. William Warren Bartley 1934-1990.

c1977

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .D67 1977 )()

View 2 versions
3
Paradox and paraconsistency : conflict resolution in the abstract sciences
Material Type:
Book
Add to e-Shelf

Paradox and paraconsistency : conflict resolution in the abstract sciences

John Woods

2003

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .W749 2003 )()

View 2 versions
4
Material Type:
Book
Add to e-Shelf

Mits, wits, and logic

Lillian R. Lieber (Lillian Rosanoff), 1886-1986.

3d ed.. 1960

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .L71 )()

View 2 versions
5
Material Type:
Book
Add to e-Shelf

The elements of mathematical logic.

Paul C. Rosenbloom

[1st ed.. 1950

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .R55 )()

6
Material Type:
Book
Add to e-Shelf

First-order logic

Raymond M. Smullyan

1968

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .S57 )()

7
Material Type:
Book
Add to e-Shelf

The language of logic.

Hans Freudenthal 1905-1990.

1966

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .F7513 )()

8
The equations : icons of knowledge
Material Type:
Book
Add to e-Shelf

The equations : icons of knowledge

Sander Bais

c2005

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 211 .B16 2005 )()

View 3 versions
9
Material Type:
Book
Add to e-Shelf

Einführung in die symbolische Logik, mit besonderer Berücksichtigung ihrer Anwendungen.

Rudolf Carnap 1891-1970.

1954

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .C37 )()

10
Material Type:
Book
Add to e-Shelf

Introduction to symbolic logic and its applications

Rudolf Carnap 1891-1970.

1958

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .C318 )()

11
Introduction to mathematical logic
Material Type:
Book
Add to e-Shelf

Introduction to mathematical logic

Hans Hermes

1973

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .H4413 )()

12
Material Type:
Book
Add to e-Shelf

Principles of the algebra of logic : with examples

Alexander Macfarlane 1851-1913.

1879

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .M25 )()

13
Material Type:
Book
Add to e-Shelf

The logical syntax of language

Rudolf Carnap 1891-1970. Amethe Smeaton

1954, c1937

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .C323 1937a )()

View 2 versions
14
Material Type:
Book
Add to e-Shelf

An introduction to symbolic logic.

Susanne K. Langer (Susanne Katherina Knauth), 1895-1985.

2d rev. ed.. 1953

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .L35 1953 )()

15
Phenomenology and logic : the Boston College Lectures on mathematical logic and existentialism
Material Type:
Book
Add to e-Shelf

Phenomenology and logic : the Boston College Lectures on mathematical logic and existentialism

Bernard J. F. Lonergan Frederick E Crowe; Robert M. Doran 1939-; Philip McShane; Lonergan Research Institute.; Boston College.

c2001

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (B 29 .L59 1988 v.18 )()

16
Material Type:
Book
Add to e-Shelf

Introduction to semantics

Rudolf Carnap 1891-1970.

1942

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .C316 )()

17
Material Type:
Book
Add to e-Shelf

On the syllogism : and other logical writings

Augustus De Morgan 1806-1871 Peter Heath 1922-2002.

1966

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .D43 1966 )()

18
Material Type:
Book
Add to e-Shelf

Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) A Kino; John Myhill; R. E. Vesley; State University College at Buffalo

1970

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA9 .C742 1968 )()

19
Material Type:
Book
Add to e-Shelf

Logic and knowledge; essays, 1901-1950.

Bertrand Russell 1872-1970.

1956

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (B 1649 .R93 L6 )()

20
Material Type:
Book
Add to e-Shelf

Regulae ad directionem ingenii

René Descartes 1596-1650. Giovanni Crapulli

1966

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (B 1868 .R4 1966 )()

21
Material Type:
Journal
Add to e-Shelf

Bulletin of the Section of Logic.

Instytut Filozofii i Socjologii (Polska Akademia Nauk); Uniwersytet Łódzki. Dział logiki.

1972-

Online access

22
Propositional logic.
Material Type:
Book
Add to e-Shelf

Propositional logic.

Howard Pospesel 1937-2019.

1974

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 181 .P85p )()

23
Material Type:
Book
Add to e-Shelf

Introduction to semantics, and Formalization of logic.

Rudolf Carnap 1891-1970.

1961 [c1943

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 135 .C28 I )()

24
Proof theory
Material Type:
Book
Add to e-Shelf

Proof theory

Gaisi Takeuti 1926-2017.

1975

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9.54 .T34 1975 )()

25
An introduction to mathematical reasoning : numbers, sets, and functions
Material Type:
Book
Add to e-Shelf

An introduction to mathematical reasoning : numbers, sets, and functions

Peter J. Eccles 1945-

1997

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9.54 .E23 1997 )()

26
Material Type:
Journal
Add to e-Shelf

Journal of symbolic logic (Online)

Association for Symbolic Logic.

1936-

Online access

27
Russell's hidden substitutional theory
Material Type:
Book
Add to e-Shelf

Russell's hidden substitutional theory

Gregory Landini

1998

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (B 1649 .R94 L36 1998 )()

View 2 versions
28
Thinking recursively
Material Type:
Book
Add to e-Shelf

Thinking recursively

Eric Roberts

c1986

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9.6 .R63 1986 )()

29
Studies in model theory
Material Type:
Book
Add to e-Shelf

Studies in model theory

M. D. Morley (Michael Darwin), 1930- Jon Barwise

c1973

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9.7 .M67 )()

30
Material Type:
Book
Add to e-Shelf

An introduction to the elements of mathematics.

John N. Fujii

1962, c1961

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .F8 )()

31
Material Type:
Book
Add to e-Shelf

Principia mathematica

Alfred North Whitehead 1861-1947 Bertrand Russell 1872-1970.

2d ed.. 1957, c1925-1927

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .W5 1925 )()

32
Material Type:
Book
Add to e-Shelf

Applications of model theory to algebra, analysis, and probability

International Symposium on the Applications of Model Theory to Algebra, Analysis, and Probability (1967 : California Institute of Technology) W. A. J. Luxemburg; California Institute of Technology

1969

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .I55 1967 )()

33
Material Type:
Book
Add to e-Shelf

Meaning and necessity : a study in semantics and modal logic.

Rudolf Carnap 1891-1970.

[2d ed., enl.]. 1960 [1956

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (B 840 .C3 1956 )()

34
Material Type:
Book
Add to e-Shelf

Retracing elementary mathematics

Leon Henkin

1962

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .H43 )()

35
Material Type:
Book
Add to e-Shelf

Model theory and its applications.

Ralph Kopperman

1972

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .K6778 )()

36
Mathematical logic in the 20th century
Material Type:
Book
Add to e-Shelf

Mathematical logic in the 20th century

Gerald E Sacks

c2003

Online access

37
Studies in logic
Material Type:
Book
Add to e-Shelf

Studies in logic

Charles S Peirce (Charles Sanders), 1839-1914.; Max H Fisch; Achim Eschbach; Johns Hopkins University.

1983

Online access

38
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 2009
Material Type:
Book
Add to e-Shelf

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 2009

Asian Logic Conference (11th : 2009 : Singapore) C.-T Chong (Chi-Tat), 1949-; T Arai (Toshiyasu); Asian Logic Conference

c2012

Online access

39
Mathematics and mathematical logic new research
Material Type:
Book
Add to e-Shelf

Mathematics and mathematical logic new research

Peter Milosav; Irene Ercegovaca

c2010

Online access

40
Advances in mathematics research Volume 18
Material Type:
Book
Add to e-Shelf

Advances in mathematics research Volume 18

Albert R Baswell

c2013

Online access

41
A formalization of set theory without variables
Material Type:
Book
Add to e-Shelf

A formalization of set theory without variables

Alfred Tarski 1901-1983. Steven R Givant

c1987

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 248 .T37 1987 )()

42
Collected works. Volume IV, Correspondence A-G
Material Type:
Book
Add to e-Shelf

Collected works. Volume IV, Correspondence A-G

Kurt. Gödel Solomon Feferman; John W. Dawson Jr.; Warren Goldfarb; Charles Parsons 1933-; Wilfried Sieg

2014

Online access

43
Material Type:
Book
Add to e-Shelf

From Frege to Gödel : a source book in mathematical logic, 1879-1931.

Jean Van Heijenoort 1912-1986.

1977, c.1967

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9 .V3 )()

44
The continuum companion to philosophical logic
Material Type:
Book
Add to e-Shelf

The continuum companion to philosophical logic

Richard Pettigrew editor.; Leon Horsten editor.

2011

Online access

45
Principles of Truth
Material Type:
Book
Add to e-Shelf

Principles of Truth

Volker Halbach editor.; Leon Horsten editor.

2013

Online access

46
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
Material Type:
Book
Add to e-Shelf

A first course in logic : an introduction to model theory, proof theory, computability, and complexity

Shawn Hedman author.

2004

Online access

47