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

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

Results 1 2 3 4 5 next page
Show only
Refined by: top level: Available in the Library remove
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

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 )()

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

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 )()

10
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 )()

11
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 )()

12
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
13
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 )()

14
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 )()

View 2 versions
15
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 )()

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

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 )()

19
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 )()

20
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 )()

21
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 )()

22
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 )()

23
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
24
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 )()

25
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 )()

26
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 )()

27
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 )()

28
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 )()

29
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 )()

30
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 )()

31
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 )()

32
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 )()

33
Material Type:
Book
Add to e-Shelf

Polish logic, 1920-1939

Storrs McCall Kazimierz Ajdukiewicz

1967

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

34
Material Type:
Book
Add to e-Shelf

Foundations of logic and mathematics

Rudolf Carnap 1891-1970.

1939

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (Q 121 .I61 v.1 no.3 )()

35
Material Type:
Book
Add to e-Shelf

Models and ultraproducts : an introduction

J. L. Bell (John Lane) A. B Slomson

1969

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA9 .B396 )()

36
Material Type:
Book
Add to e-Shelf

Model theory

Chen Chung Chang 1927- H. Jerome Keisler

1973

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9.7 C45 )()

37
Material Type:
Book
Add to e-Shelf

Symbolic logic and The game of logic

Lewis Carroll 1832-1898. Lewis Carroll 1832-1898.

1958

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 95 .D64 )()

38
Material Type:
Book
Add to e-Shelf

Mathematical recreations of Lewis Carroll.

Lewis Carroll 1832-1898.

1958

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 95 .D6 v.1 ) and other locations()

39
Material Type:
Book
Add to e-Shelf

Elements of logic and formal science.

C. West Churchman (Charles West), 1913-2004.

c1940

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 108 .C53 )()

40
Material Type:
Journal
Add to e-Shelf

Notre Dame journal of formal logic.

University of Notre Dame

1960

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 1 .N6 )()

41
Mathematical logic : an introduction to model theory
Material Type:
Book
Add to e-Shelf

Mathematical logic : an introduction to model theory

A. H. Lightstone Herbert B Enderton

c1978

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

42
Logic
Material Type:
Book
Add to e-Shelf

Logic

Wilfrid Hodges 1941-

2nd ed.. 2001

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (BC 108 .H58 2001 )()

43
Roads to infinity : the mathematics of truth and proof
Material Type:
Book
Add to e-Shelf

Roads to infinity : the mathematics of truth and proof

John Stillwell

c2010

Online access. The library also has physical copies.

44
The science game : an introduction to research in the behavioral sciences
Material Type:
Book
Add to e-Shelf

The science game : an introduction to research in the behavioral sciences

Neil McK Agnew Sandra W. Pyke 1937-

1969

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (Q 175 .A33 )()

45
Material Type:
Book
Add to e-Shelf

Tractatus logico-philosophicus

Ludwig Wittgenstein 1889-1951.

1922

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

46
The scientific revolution and the origins of modern science
Material Type:
Book
Add to e-Shelf

The scientific revolution and the origins of modern science

John Henry 1950-

1997

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (Q 125 .H5587 1997 )()

47
Material Type:
Video
Add to e-Shelf

Scientific method

Aprille Hollis; Jodie Muramoto; Shawn Rutan; Teacher's Video Company

c2003

Available at UDM McNichols Campus Library  UDM McNichols Campus Library Circulation Desk DVD Collection  (Q 175 .S423 2003 DVD )()

48
Set theory
Material Type:
Book
Add to e-Shelf

Set theory

Thomas J. Jech

1978

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

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

The logic of science.

Vincent Edward Smith 1915-

1964 [c1963

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (Q 175 .S63 )()

50
Material Type:
Book
Add to e-Shelf

The logic of scientific discovery

Karl R. Popper (Karl Raimund), 1902-1994.

1959

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (Q 175 .P863 )()