Start Over Return To Browse Limit/Sort
     
Limit search to available items
Result Page   
Save marked records Save all on page
SUBJECTS (1-50 of 88)
Logic Mathematics
1
Mark
  Axiomatics.
Blanche, Robert.
London : Routledge & Kegan Paul, 1962.   		1962
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 B6  8 WEEK LOAN  AVAILABLE
2
Mark
  Choice sequences : a chapter of intuitionistic mathematics.
Troelstra, A.S.
Oxford : Clarendon Press, 1977.   		1977
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.47 T8,  8 WEEK LOAN  AVAILABLE
3
Mark
  Classical propositional operators : an exercise in the foundations of logic.
Segerberg, Krister.
Oxford : Clarendon Press, 1982.   		1982
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.3 S4  8 WEEK LOAN  AVAILABLE
4
Mark
  The collected papers of Gerhard Gentzen
Gentzen, Gerhard.
Amsterdam : North-Holland, 1969.   		1969
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 G3  8 WEEK LOAN  AVAILABLE
5
Mark
  Combinatory logic.

Amsterdam : North-Holland, 1958.   		1958
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 C7  v.1  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  BC 135 C7  v.2  8 WEEK LOAN  AVAILABLE
6
Mark
  Computability : an introduction to recursive function theory.
Cutland, Nigel.
Cambridge : Cambridge University Press, 1980.   		1980
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.59 C9  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  QA 9.59 C9  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  QA 9.59 C9  8 WEEK LOAN  AVAILABLE
7
Mark
  Computability theory, semantics, and logic programming.
Fitting, Melvin Chris.
New York : Oxford University Press, 1987.   		1987
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.59 F5  8 WEEK LOAN  AVAILABLE
8
Mark
  Constructivity in mathematics
International Colloquium: Constructivity in Mathematics, Amsterdam, 1957.
Amsterdam : North-Holland, 1959.   		1959
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.56 I6  8 WEEK LOAN  AVAILABLE
9
Mark
  Contributions to mathematical logic
Logic Colloquium, 11th, Hanover, 1966.
Amsterdam : North-Holland, 1968.   		1968
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 L8  8 WEEK LOAN  AVAILABLE
10
Mark
  A course in mathematical logic.
Manin, Iurii I.
New York : Springer, 1977.   		1977
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 M2  8 WEEK LOAN  AVAILABLE
11
Mark
  Course of mathematical logic.
Fraisse, Roland.
Dordrecht : Reidel, 1973.   		1973
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 F8  8 WEEK LOAN  AVAILABLE
12
Mark
  Course of mathematical logic.
Fraisse, Roland.
Dordrecht : Reidel, 1973.   		1973
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 F8  8 WEEK LOAN  AVAILABLE
13
Mark
  Development of mathematical logic.
Goodstein, Reuben Louis.
London : Logos Press, 1971.   		1971
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 G6,  8 WEEK LOAN  AVAILABLE
14
Mark
  The development of mathematical logic.
Nidditch, Peter Harold.
London : Routledge & Kegan Paul, 1962.   		1962
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 11 N6  8 WEEK LOAN  AVAILABLE
15
Mark
  Deviant logic : some philosophical issues.
Haack, Susan.
London : Cambridge University Press, 1974.   		1974
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 H1  8 WEEK LOAN  AVAILABLE
16
Mark
  The dyamic model : today's crystal ball : an inaugural lecture.
McCloy, D.
Belfast : The Queen's University, 1974.   		1974
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Pamphlet Collection p  QA 9.7 M1  8 WEEK LOAN  ASK at the Reading Room
17
Mark
  Efficient parallel algorithms
Gibbons, Alan.
Cambridge : Cambridge University Press, 1988.   		1988
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 264 G4  8 WEEK LOAN  AVAILABLE
18
Mark
  Efficient parallel algorithms
Gibbons, Alan.
Cambridge : Cambridge University Press, 1989.   		1989
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 264 G4  8 WEEK LOAN  AVAILABLE
19
Mark
  Elementary induction on abstractstructures.
Moschovakis, Yiannis Nicholas.
Amsterdam : North-Holland, 1974.   		1974
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 M8  8 WEEK LOAN  AVAILABLE
20
Mark
  Elementary logic of science and mathematics.
Nidditch, Peter Harold.
London : U. Tutonal Press, 1960.   		1960
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 N6  8 WEEK LOAN  AVAILABLE
21
Mark
  Elements of intuitionism.
Dummett, Michael A.E.
Oxford : Clarendon Press, 1977.   		1977
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.47 D8,  8 WEEK LOAN  AVAILABLE
22
Mark
  Elements of mathematical logic.
Lukasiewicz, Jan.
Oxford : Pergamon Press, 1963.   		1963
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 L9  8 WEEK LOAN  AVAILABLE
23
Mark
  Entailment : the logic of relevance and necessity.
Anderson, Alan Ross.
Princeton, N.J. : Princeton University Press, 1975.   		1975
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 A5  8 WEEK LOAN  AVAILABLE
24
Mark
  First-order dynamic logic.
Harel, David, 1950-
Berlin : Springer, 1979.   		1979
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 H2  8 WEEK LOAN  AVAILABLE
25
Mark
  First order mathematical logic.
Margaris, Angelo.
Waltham, Mass. : Girn-Blaisdell., 1967.   		1967
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 M3,  8 WEEK LOAN  AVAILABLE
26
Mark
  Formal methods : an introduction to symbolic logic.
Beth, Evert Willem.
Dordrecht : Reidel, 1962.   		1962
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 B5  8 WEEK LOAN  AVAILABLE
27
Mark
  Foundations of logic and mathematics.
Carnap, Rudolf, 1891-1970.
Chicago : U. of Chicago, 1939.   		1939
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 C2  8 WEEK LOAN  AVAILABLE
28
Mark
  Foundations of mathematical logic.
Curry, Haskell Brooks.
New York : McGraw-Hill., 1963.   		1963
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 C9,  8 WEEK LOAN  AVAILABLE
29
Mark
  The foundations of mathematics : a new analysis showing Godel's theonem based on fallacy.
Meteau, Gerald.
Harlow (Essex) : The Author, 1974.   		1974
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Pamphlet Collection p  q QA 9.65 M5  8 WEEK LOAN  ASK at the Reading Room
30
Mark
  From standard logic to logic programming : introducing a logic based approach to artificial intellig

Chichester : Wiley, 1988.   		1988
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  Q 335 F9  8 WEEK LOAN  AVAILABLE
31
Mark
  Grundzüge der theoretischen logik.
Hilbert, David.
New York : Dover Publs., 1946.   		1946
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 H6  8 WEEK LOAN  AVAILABLE
32
Mark
  Handbook of mathematical logic.

Amsterdam : North-Holland, 5197.   		 
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 H2  8 WEEK LOAN  AVAILABLE
33
Mark
  The infinite in mathematics : logico-mathematical writings
Kaufmann, Felix.
Dordrecht : Reidel, 1978.   		1978
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 K2  8 WEEK LOAN  AVAILABLE
34
Mark
  Introduction to combinatory logic
Hindley, James Roger.
Cambridge : University Press, 1972.   		1972
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.5 H6  8 WEEK LOAN  AVAILABLE
35
Mark
  Introduction to logic.
Suppes, Patrick, 1922-2014.
Princeton, N.J. : Van Nostrand, 1957.   		1957
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 S9  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  BC 135 S9  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  BC 135 S9  8 WEEK LOAN  AVAILABLE
36
Mark
  Introduction to mathematical logic.
Mendelson, Elliott.
Princeton, N.J. : Van Nostrand., 1964.   		1964
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 M5  8 WEEK LOAN  AVAILABLE
37
Mark
  Introduction to mathematical logic.
Mendelson, Elliott.
New York : Van Nostrand, 1979.   		1979
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 M5  8 WEEK LOAN  AVAILABLE
38
Mark
  Introduction to mathematical logic.
Church, Alonzo.
Princeton, N.J. : Princeton University Press, 1956.   		1956
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 131 C5  8 WEEK LOAN  AVAILABLE
39
Mark
  An introduction to mathematical logic and type theory : to truth through proof.
Andrews, Peter B.
Orlando : Academic Press, 1986.   		1986
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 A5  8 WEEK LOAN  AVAILABLE
40
Mark
  Introduction to model theory and to the mathematics of algebra.
Robinson, Abraham, 1918-1974.
Amsterdam : North-Holland, 1963.   		1963
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 R6  8 WEEK LOAN  AVAILABLE
41
Mark
  Introduction to parallel algorithms and architectures : arrays, trees, hypercubes.
Leighton, Frank Thomson.
San Mateo, Calif. : Morgan Kaufmann, 1992.   		1992
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 264 L5  8 WEEK LOAN  AVAILABLE
42
Mark
  Introductory formal logic of mathematics.
Nidditch, Peter Harold.
London : U. Tutorial Press, 1957.   		1957
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 131 N6  8 WEEK LOAN  AVAILABLE
43
Mark
  Intuitionism : an introduction.
Heyting, Arend.
Amsterdam : North-Holland, 1971.   		1971
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.47 H6  8 WEEK LOAN  AVAILABLE
44
Mark
  Intuitionistic logic, model theory and forching.
Fitting, Melvin Chris.
Amsterdam : North-Holland., 1969.   		1969
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.47 F5,  8 WEEK LOAN  AVAILABLE
45
Mark
  Languages with expressions of infinite length.
Karp, Carol Ruth.
Amsterdam : North-Holland, 1964.   		1964
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.37 K1,  8 WEEK LOAN  AVAILABLE
46
Mark
  Logic and arithmetic.
Bostock, David.
Oxford : Clarendon Press, 1974.   		1974
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 B7  v.1  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  BC 135 B7  v.2  8 WEEK LOAN  AVAILABLE
47
Mark
  Logic and Boolean algebra.
Arnold, Bradford Henry.
Englewood Cliffs, N.J. : Prentice-Hall, 1962.   		1962
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 10.3 A7  8 WEEK LOAN  AVAILABLE
48
Mark
  Logic and computer science

London : Academic Press, 1990.   		1990
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.63 L8  8 WEEK LOAN  AVAILABLE
49
Mark
  Logic and structure.
Dalen, Dirk van.
Berlin : Springer, 1980.   		1980
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 D1  8 WEEK LOAN  AVAILABLE
50
Mark
  Logic for mathematicians.
Hamilton, Alan G.
Cambridge : Cambridge University Press, 1978.   		1978
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 H2  8 WEEK LOAN  AVAILABLE
Save marked records Save all on page
Locate in results
Result Page   
Start Over Return To Browse Limit/Sort