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

Results 51 - 100 of 627  for Library Catalog (Excludes Articles)

previous page 1 Results 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
51
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 )()

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

53
The mathematics of logic a guide to completeness theorems and their applications
Material Type:
Book
Add to e-Shelf

The mathematics of logic a guide to completeness theorems and their applications

Richard Kaye (Richard W.)

2007

Online access

54
Logic with trees an introduction to symbolic logic
Material Type:
Book
Add to e-Shelf

Logic with trees an introduction to symbolic logic

Colin. Howson

1997

Online access

55
In the light of logic
Material Type:
Book
Add to e-Shelf

In the light of logic

Solomon. Feferman

c1998

Online access

56
Mathematical Logic
Material Type:
Book
Add to e-Shelf

Mathematical Logic

Ian. Chiswell Wilfrid Hodges

2007

Online access

57
Intermediate logic
Material Type:
Book
Add to e-Shelf

Intermediate logic

David. Bostock

1997

Online access

58
Formal logic : a philosophical approach
Material Type:
Book
Add to e-Shelf

Formal logic : a philosophical approach

Paul Hoyningen-Huene 1946- author. Alex Levine translator.

2004

Online access

59
Foundations without foundationalism a case for second-order logic
Material Type:
Book
Add to e-Shelf

Foundations without foundationalism a case for second-order logic

Stewart Shapiro 1951-

2006, c1991

Online access

60
Mathematical logic
Material Type:
Book
Add to e-Shelf

Mathematical logic

W. V. Quine (Willard Van Orman)

Rev. ed.. c1981

Online access

View 2 versions
61
Diamond a paradox logic
Material Type:
Book
Add to e-Shelf

Diamond a paradox logic

N. S. Hellerstein (Nathaniel S.)

2nd ed.. c2010

Online access

62
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Material Type:
Book
Add to e-Shelf

Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011

Asian Logic Conference Corporate Author ; Asian Logic Conference (12th : 2011 : Wellington, N.Z.) R. G Downey (Rod G.); Asian Logic Conference

2013

Online access

63
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Material Type:
Book
Add to e-Shelf

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

Asian Logic Conference Corporate Author ; Asian Logic Conference (10th : 2008 : Kōbe Daigaku) T Arai (Toshiyasu); Asian Logic Conference

c2010

Online access

64
Logical dynamics of information and interaction
Material Type:
Book
Add to e-Shelf

Logical dynamics of information and interaction

J. F. A. K. van Benthem 1949-

2011

Online access

65
Advances in linear logic
Material Type:
Book
Add to e-Shelf

Advances in linear logic

Linear Logic Workshop (1993 : Mathematical Sciences Institute, Cornell University) Jean-Yves Girard; Yves Lafont; Laurent Regnier

1995

Online access

66
The future of post-human mathematical logic
Material Type:
Book
Add to e-Shelf

The future of post-human mathematical logic

Peter. Baofu

c2008

Online access

67
Material Type:
Book
Add to e-Shelf

A mathematical introduction to logic

Herbert B. Enderton ProQuest (Firm)

2nd ed.. c2001

Online access

68
The foundations of mathematics
Material Type:
Book
Add to e-Shelf

The foundations of mathematics

Ian Stewart 1945- author. David Orme Tall author.

2nd ed.. 2015

Online access

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

70
Collected works. Volume V, Correspondence H-Z
Material Type:
Book
Add to e-Shelf

Collected works. Volume V, Correspondence H-Z

Kurt. Gödel Solomon Feferman; John W. Dawson Jr.; Warren Goldfarb; Charles Parsons; Wilfried Sieg; Association for Symbolic Logic.

2014

Online access

71
Sets, functions, measures. Volume 1, Fundamentals of set and number theory
Material Type:
Book
Add to e-Shelf

Sets, functions, measures. Volume 1, Fundamentals of set and number theory

Timofey V. Rodionov author. Valeriy K. Zakharov author.

2018

Online access

72
Principles of truth
Material Type:
Book
Add to e-Shelf

Principles of truth

Volker. Halbach Leon Horsten

2nd ed.. 2004

Online access

73
Publications 1929-1936
Material Type:
Book
Add to e-Shelf

Publications 1929-1936

Kurt. Gödel Solomon Feferman

c1986

Online access

74
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.

75
Material Type:
Journal
Add to e-Shelf

Journal of logic and analysis.

Association for Symbolic Logic.

2009

Online access

76
Material Type:
Journal
Add to e-Shelf

Journal of the IGPL.

Interest Group in Pure and Applied Logics.; Imperial College of Science, Technology and Medicine.; Max-Planck-Institut für Informatik.

1995-1996

Online access

77
Material Type:
Journal
Add to e-Shelf

Neutrosophic sets and systems.

University of New Mexico. Department of Mathematics and Science.

2013]-

Online access

78
Material Type:
Journal
Add to e-Shelf

From the logical point of view.

Filozofický ústav ČSAV. Department of Logic.

1992-

Online access

79
Material Type:
Journal
Add to e-Shelf

Алгебра и логика
Algebra i logika

Институт математики (Akademii͡a nauk SSSR. Sibirskoe otdelenie); Сибирский фонд алгебры и логики; Institut matematiki (Akademii͡a nauk SSSR. Sibirskoe otdelenie); Sibirskiĭ fond algebry i logiki.

1967-

Online access

80
Material Type:
Journal
Add to e-Shelf

Jurnal matematika mantik

UIN Sunan Ampel Surabaya. Program Studi Matematika, issuing body.

2015-

Online access

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

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

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

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

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

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

88
Material Type:
Book
Add to e-Shelf

Models and analogies in science.

Mary B. Hesse

1966

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

89
Material Type:
Book
Add to e-Shelf

Methods in the physical sciences.

G. Schlesinger

1963

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (Q 175 .S353 1963a )()

90
Logic and the foundations of game and decision theory (LOFT 7)
Material Type:
Book
Add to e-Shelf

Logic and the foundations of game and decision theory (LOFT 7)

Giacomo Bonanno; Wiebe Van der Hoek; Michael J. Wooldridge 1966-

c2008

Online access

91
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London
Material Type:
Book
Add to e-Shelf

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London

Augustus de Morgan Workshop (7th : 2005 : London, England) J. F. A. K. van Benthem 1949-; Benedikt Löwe; Dov M. Gabbay 1945-

c2007

Online access

92
Specifying systems : the TLA+ language and tools for hardware and software engineers
Material Type:
Book
Add to e-Shelf

Specifying systems : the TLA+ language and tools for hardware and software engineers

Leslie Lamport

c2003

Check holdings()

93
A tour through mathematical logic
Material Type:
Book
Add to e-Shelf

A tour through mathematical logic

Robert S. Wolf

c2005

Online access

94
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011
Material Type:
Book
Add to e-Shelf

Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011

Scandinavian Conference on Artificial Intelligence Corporate Author ; Scandinavian Conference on Artificial Intelligence (11th : 2011) Anders Kofod-Petersen; Fredrik Heintz; Helge Langseth; Scandinavian Conference on Artificial Intelligence

2011

Online access

95
Folk algebras in algebra logic and computer science
Material Type:
Book
Add to e-Shelf

Folk algebras in algebra logic and computer science

Marcelo Fabián Frias 1968-

2002

Online access

96
The irrationals a story of the numbers you can't count on
Material Type:
Book
Add to e-Shelf

The irrationals a story of the numbers you can't count on

Julian Havil 1952-

2012

Online access

97
Concepts of proof in mathematics, philosophy, and computer science
Material Type:
Book
Add to e-Shelf

Concepts of proof in mathematics, philosophy, and computer science

2016

Online access

98
A first course in mathematical logic and set theory
Material Type:
Book
Add to e-Shelf

A first course in mathematical logic and set theory

Michael L. O'Leary author.

2016

Online access

99
Set theory, arithmetic, and foundations of mathematics theorems, philosophies
Material Type:
Book
Add to e-Shelf

Set theory, arithmetic, and foundations of mathematics theorems, philosophies

Juliette Kennedy 1955-; Roman Kossak 1953-

2011

Online access

100
Coding the universe
Material Type:
Book
Add to e-Shelf

Coding the universe

A. Beller Ronald Björn Jensen; P Welch

c1982

Online access

Results 51 - 100 of 627  for Library Catalog (Excludes Articles)

previous page 1 Results 2 3 4 5 next page