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

Results 1 - 50 of 644  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
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
2
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 )()

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

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

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

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

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

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

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

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

18
Material Type:
Journal
Add to e-Shelf

Bulletin of the Section of Logic.

Instytut Filozofii i Socjologii (Polska Akademia Nauk)

1972-

Online access

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

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

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

22
Material Type:
Journal
Add to e-Shelf

Journal of symbolic logic (Online)

Association for Symbolic Logic.

1936-

Online access

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

Algebra

B. L. van der Waerden (Bartel Leendert), 1903- Emil Artin 1898-1962; Emmy Noether 1882-1935

c1991

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 155 .W313 1991 )()

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

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

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

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

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

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

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

34
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

35
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

36
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

37
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

38
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

39
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

40
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

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

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

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

44
Material Type:
Book
Add to e-Shelf

Reason and nature : an essay on the meaning of scientific method.

Morris Raphael Cohen 1880-1947

[2d ed.]. 1959,c1953

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (B 945 .C67 R3 )()

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

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

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

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

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

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

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