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

Results 151 - 200 of 629  for Library Catalog (Excludes Articles)

previous page 1 2 3 Results 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
151
Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Material Type:
Book
Add to e-Shelf

Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Logic Colloquium (1997 : Leeds, England) S. B Cooper (S. Barry); J. K Truss; Association for Symbolic Logic.

1999

Online access

152
Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002
Material Type:
Book
Add to e-Shelf

Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002

Asian Logic Conference (7th : 1999 : Hsi-Tou, Taiwan) Rod Downey; Asian Logic Conference (8th : 2002 : Chongqing, China)

c2003

Online access

153
Intensional logic and the metaphysics of intentionality
Material Type:
Book
Add to e-Shelf

Intensional logic and the metaphysics of intentionality

Edward N. Zalta 1952-

c1988

Online access

154
Mathematical thinking and writing a transition to abstract mathematics
Material Type:
Book
Add to e-Shelf

Mathematical thinking and writing a transition to abstract mathematics

Randall B. Maddox

c2002

Online access

155
Reasoning about theoretical entities
Material Type:
Book
Add to e-Shelf

Reasoning about theoretical entities

T. E. Forster

c2003

Online access

156
Descriptive set theory
Material Type:
Book
Add to e-Shelf

Descriptive set theory

Yiannis N. Moschovakis

1980

Online access

157
Door wetenschap tot wijsheid verzameling wijsgerige studiën
Material Type:
Book
Add to e-Shelf

Door wetenschap tot wijsheid verzameling wijsgerige studiën

Evert W. Beth

1964

Online access

158
Logique arithmetique : l'arithmetisation de la logique
Material Type:
Book
Add to e-Shelf

Logique arithmetique : l'arithmetisation de la logique

Yvon Gauthier author.

2010

Online access

159
Something to reckon with the logic of terms
Material Type:
Book
Add to e-Shelf

Something to reckon with the logic of terms

George. Englebretsen

c1996

Online access

160
Optimization and computational logic
Material Type:
Book
Add to e-Shelf

Optimization and computational logic

Kenneth McAloon Carol Tretkoff

c1996

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (T 57.74 .M39 1996 )()

161
Material Type:
Book
Add to e-Shelf

The Logic of decision and action

Nicholas Rescher; Alan Ross Anderson; University of Pittsburgh; University of Pittsburgh. Department of Philosophy.

1966

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

162
Simplicity theory
Material Type:
Book
Add to e-Shelf

Simplicity theory

Byungham. Kim

First edition.. 2014

Online access

163
Proceedings, twenty-third annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008, Pittsburgh, Pennsylvania.
Material Type:
Book
Add to e-Shelf

Proceedings, twenty-third annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008, Pittsburgh, Pennsylvania.

Symposium on Logic in Computer Science (23rd : 2008 : Pittsburgh, Pa.)

2008

Online access

164
LICS 2009 : proceedings : 24th annual IEEE Symposium on Logic in Computer Science : Los Angeles, California, 11-14 August 2009.
Material Type:
Book
Add to e-Shelf

LICS 2009 : proceedings : 24th annual IEEE Symposium on Logic in Computer Science : Los Angeles, California, 11-14 August 2009.

Symposium on Logic in Computer Science (24th : 2009 : Los Angeles, Calif.)

2009

Online access

165
Material Type:
Journal
Add to e-Shelf

Jurnal matematika mantik

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

2015-

Online access

166
Material Type:
Journal
Add to e-Shelf

Bulletin of symbolic logic (Online)

Association for Symbolic Logic.

1995-

Online access

167
Material Type:
Book
Add to e-Shelf

Elementary logic of science and mathematics.

P. H. Nidditch

1960

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

168
Material Type:
Journal
Add to e-Shelf

Axioms (Basel, Switzerland)

2012-

Online access

169
Material Type:
Journal
Add to e-Shelf

Annals of pure and applied logic.

c1983-

Online access

170
Material Type:
Journal
Add to e-Shelf

Archiv für mathematische Logik und Grundlagenforschung.

1950-1987

Online access

171
Material Type:
Book
Add to e-Shelf

Introduction to model theory and to the metamathematics of algebra

Abraham Robinson Ph.D.

1963, 1974 printing

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 162 .R6 1974 )()

172
Tractatus Logico-Philosophicus
Material Type:
Book
Add to e-Shelf

Tractatus Logico-Philosophicus

Ludwig. Wittgenstein McGuinness, Brian Contributor; Pears, David Contributor

2nd ed.. 2001

Online access

173
Material Type:
Journal
Add to e-Shelf

Journal of formalized reasoning.

2008

Online access

174
Material Type:
Journal
Add to e-Shelf

Algebra and logic (Online)

1968

Online access

175
The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth
Material Type:
Book
Add to e-Shelf

The argument of the Tractatus : its relevance to contemporary theories of logic, language, mind, and philosophical truth

Richard M. McDonough 1950-

c1986

Online access

176
Material Type:
Journal
Add to e-Shelf

Formalized mathematics : a computer assisted approach.

Uniwersytet w Białymstoku, issuing body.

1996

Online access

177
Essentials of abstract algebra
Material Type:
Book
Add to e-Shelf

Essentials of abstract algebra

Charles M. Bundrick John J. Leeson

1972

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 266 .B79 )()

178
Material Type:
Book
Add to e-Shelf

The anatomy of inquiry : philosophical studies in the theory of science.

Israel Scheffler

[1st ed.]. 1963

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

179
A beginner's guide to scientific method
Material Type:
Book
Add to e-Shelf

A beginner's guide to scientific method

Stephen S. Carey (Stephen Sayers), 1944-

2nd ed.. c1998

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

180
Material Type:
Book
Add to e-Shelf

The scientific methodology of Theodoric of Freiberg : a case study of the relationship between science and philosophy

William A. Wallace

1959

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (B 765 .D3 W25 1959 )()

181
Hydrogen : the essential element
Material Type:
Book
Add to e-Shelf

Hydrogen : the essential element

John S. Rigden

2002

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QD 181 .H1 R54 2002 )()

182
Axiomatic set theory
Material Type:
Book
Add to e-Shelf

Axiomatic set theory

Gaisi Takeuti 1926-2017. Wilson M Zaring

1973

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA248 .T35 )()

183
Extensional Gödel functional interpretation : a consistency proof of classical analysis.
Material Type:
Book
Add to e-Shelf

Extensional Gödel functional interpretation : a consistency proof of classical analysis.

Horst Luckhardt

1973

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

184
Material Type:
Book
Add to e-Shelf

Basic abstract algebra

Otto F. G. Schilling (Otto Franz Georg), 1911-1973 W. Stephen Piper (William Stephen), 1940-

1974, c1975

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 162 .S34 )()

185
Material Type:
Book
Add to e-Shelf

Selections from modern abstract algebra.

Richard Vernon Andree 1919-

1958

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 266 .A55 )()

186
A first course in abstract algebra : rings, groups, and fields
Material Type:
Book
Add to e-Shelf

A first course in abstract algebra : rings, groups, and fields

Marlow Anderson 1950- Todd Feil 1951-

c1995

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 162 .A53 1995 )()

187
Algebra
Material Type:
Book
Add to e-Shelf

Algebra

Saunders Mac Lane 1909-2005. Garrett Birkhoff 1911-1996.

2d ed.. c1979

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 162 .M33 1979 )()

188
Material Type:
Book
Add to e-Shelf

Introduction to abstract algebra

Robert C. Thompson 1931- Adil Yaqub 1928-

1970

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 266 .T47 )()

189
A book of abstract algebra
Material Type:
Book
Add to e-Shelf

A book of abstract algebra

Charles C. Pinter 1932-

Dover ed.. 2010

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 162 .P56 2010 )()

190
Material Type:
Book
Add to e-Shelf

The path of science

C. E. Kenneth Mees (Charles Edward Kenneth), 1882-1960 John Randal Baker 1900-1984.

1946

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (Q125 .M43 )()

191
Material Type:
Book
Add to e-Shelf

Axiomatic set theory.

Patrick Suppes 1922-

1960

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

192
Material Type:
Book
Add to e-Shelf

An introduction to abstract algebra

Frederick Michael. Hall

1966-1969

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA266 .H28 )()

193
Material Type:
Book
Add to e-Shelf

The theory of models : proceedings

International Symposium on the Theory of Models (1963 : Berkeley, Calif.) J. W Addison (John West), 1930-; University of California, Berkeley; Association for Symbolic Logic; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science; College of California; University of California (1868-1952)

1965

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

194
A primer of abstract mathematics
Material Type:
Book
Add to e-Shelf

A primer of abstract mathematics

Robert B. Ash

c1998

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 162 .A84 1998 )()

195
Introduction to axiomatic set theory
Material Type:
Book
Add to e-Shelf

Introduction to axiomatic set theory

Gaisi Takeuti 1926-2017. Wilson M Zaring

1971

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

196
Material Type:
Book
Add to e-Shelf

Principles of abstract algebra

Richard William Ball 1923-

c1963

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 162 .B3 1963 )()

197
Material Type:
Book
Add to e-Shelf

Constructible sets with applications

Andrzej. Mostowski

1969

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

198
Introduction to abstract algebra
Material Type:
Book
Add to e-Shelf

Introduction to abstract algebra

John T. Moore

1975

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 162 .M66 )()

199
Material Type:
Book
Add to e-Shelf

The language of nature : an essay in the philosophy of science

David Hawkins 1913-

1964

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

200
How to read and do proofs : an introduction to mathematical thought processes
Material Type:
Book
Add to e-Shelf

How to read and do proofs : an introduction to mathematical thought processes

Daniel Solow

4th ed.. c2005

Available at UDM McNichols Campus Library  UDM McNichols Library Stacks  (QA 9.54 .S65 2005 )()

Results 151 - 200 of 629  for Library Catalog (Excludes Articles)

previous page 1 2 3 Results 4 5 next page

Refine Search Results