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 51)
Logic Symbolic And Mathematical
1
Mark
  ACM Transactions on computational logic.

New York : Association for Computing Machinery, 2000-2002.   		2002
PERIODICAL
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL basement journals  QA 75.5 A87  2000/02,v.1-3  7 DAYS  ASK at the Reading Room
2
Mark
  Alfred Tarski : life and logic
Feferman, Anita Burdman.
Cambridge : Cambridge University Press, 2004.   		2004
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 29 T32 F2  8 WEEK LOAN  AVAILABLE
3
Mark
  Annals of mathematical logic.

Amsterdam : North-Holland.   		 
PERIODICAL
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL basement journals  BC 135 A53  1970, v.1  7 DAYS  ASK at the Reading Room
 BJL basement journals  BC 135 A53  1970, v.2  7 DAYS  ASK at the Reading Room
 BJL basement journals  BC 135 A53  1971, v.3  7 DAYS  ASK at the Reading Room
Click to view copies/volumes at all libraries
4
Mark
  Annals of pure and applied logic.

Amsterdam : North-Holland, 1983-1989.   		1989
PERIODICAL
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL basement journals  BC 135 A53  1983, v.24  7 DAYS  ASK at the Reading Room
 BJL basement journals  BC 135 A53  1984, v.26  7 DAYS  ASK at the Reading Room
 BJL basement journals  BC 135 A53  1985, v.28  7 DAYS  ASK at the Reading Room
Click to view copies/volumes at all libraries
5
Mark
  The Big Typescript, TS 213
Wittgenstein, Ludwig, 1889-1951.
Malden, Mass. : Blackwell Pub., 2005.   		2005
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Basement b  B 1674 W83 B5  8 WEEK LOAN  ASK at the Reading Room
6
Mark
  Computability and logic
Boolos, George.
Cambridge : Cambridge University Press, 1980.   		1980
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room Mezzanine  511.3 BOO  4 WEEK LOAN  AVAILABLE
7
Mark
  Computability and logic
Boolos, George.
Cambridge ; New York : Cambridge University Press, 2007.   		2007
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room Mezzanine  511.352 BOO  4 WEEK LOAN  AVAILABLE
8
Mark
  Diamond : a paradox logic.
Hellerstein, N.S.
Singapore : World Scientific, 1997.   		1997
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 H4  8 WEEK LOAN  AVAILABLE
9
Mark
  Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
Ensley, Douglas E.
Hoboken, N.J. : Wiley, c2006.   		c2006
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.25 E5  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  QA 9.25 E5  8 WEEK LOAN  AVAILABLE
10
Mark
  Elucidating the 'Tractatus' : Wittgenstein's early philosophy of logic and language
McGinn, Marie.
Oxford : Clarendon Press, 2006.   		2006
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  B 1674 W83 Z66  8 WEEK LOAN  AVAILABLE
11
Mark
  Epistemologie mathematique et psychologie
Beth, Evert Willem.
Paris : Presses Universitaires de France, 1961.   		1961
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 B5  8 WEEK LOAN  AVAILABLE
12
Mark
  The equations : icons of knowledge.
Bais, Sander.
Cambridge, Mass. : Harvard University Press, c2005.   		c2005
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 211 B1  8 WEEK LOAN  AVAILABLE
13
Mark
  Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Sympos
Scandinavian Logic Symposium (4th : 1976 : Jyväskylä)
Dordrecht : Reidel, 1979.   		1979
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 5 S2  8 WEEK LOAN  AVAILABLE
14
Mark
  The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, an
Turing, Alan Mathison, 1912-1954.
Oxford : Clarendon Press, c2004.   		c2004
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room 1st floor HDC  QA 7 T9  4 WEEK LOAN  DUE 12-05-24
15
Mark
  From mathematics to philosophy.
Wang, Hao, 1921-
London : Routledge & Kegan Paul, 1974.   		1974
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 W2  8 WEEK LOAN  AVAILABLE
16
Mark
  Handbook of spatial logics

Dordrecht : Springer, c2007.   		c2007
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 H2  8 WEEK LOAN  AVAILABLE
17
Mark
  How to prove it : a structured approach.
Velleman, Daniel J.
Cambridge : Cambridge University Press, 1994.   		1994
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 V4  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  BC 135 V4  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  BC 135 V4  8 WEEK LOAN  AVAILABLE
18
Mark
  Hyperproof for the Macintosh
Barwise, Jon.
Stanford, Calif. : CSLI Publications, 1994.   		1994
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76 B2  8 WEEK LOAN  AVAILABLE
19
Mark
  In the light of logic.
Feferman, Solomon.
New York : Oxford University Press, 1998.   		1998
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9.2 F2  8 WEEK LOAN  AVAILABLE
20
Mark
  An introduction to symbolic logic.
Langer, Susanne Katherina.
New York : Dover, 1953.   		1953
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 L2  8 WEEK LOAN  AVAILABLE
21
Mark
  Laws of form.
Spencer-Brown, G.
Portland, Or. : Cognizer, 1994.   		1994
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 S7  8 WEEK LOAN  AVAILABLE
22
Mark
  Logic and proof
Bittinger, Marvin L., author.
Reading, Mass. : Addison-Wesley, 1970.   		1970
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 B6  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  QA 9 B6  8 WEEK LOAN  AVAILABLE
23
Mark
  Logic-based artificial intelligence

Boston, Mass. : Kluwer Academic Publishers, 2000.   		2000
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.9 L63 L8  8 WEEK LOAN  AVAILABLE
24
Mark
  The logical problem of induction
Wright, G. H. von (Georg Henrik), 1916-2003.
Helsingfors : Printed by the Finnish Literary Society, 1941.   		1941
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 80 W9  8 WEEK LOAN  AVAILABLE
25
Mark
  Logical studies.
Tornebohm, Hakan.
Lund : Gleerup, 1955.   		1955
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 T6  8 WEEK LOAN  AVAILABLE
26
Mark
  The logical systems of Lesniewski.
Luschei, Eugene C.
Amsterdam : North-Holland Pub. Co., 1962.   		1962
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  B 4691 L44 Z65  8 WEEK LOAN  AVAILABLE
27
Mark
  Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-Octob

Berlin : Springer, 2000.   		2000
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  Q 334 L8  8 WEEK LOAN  AVAILABLE
28
Mark
  Logik : ihr System und Verhältnis zur Logistik
Freytag Löringhoff, Bruno, Baron von, 1912-1996.
Stuttgart : Kohlhammer, c1955.   		c1955
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 50 F8  8 WEEK LOAN  AVAILABLE
29
Mark
  Modal logics
Feys, Robert, 1889-
Louvain : Nauwelaerts, 1965.   		1965
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 199 M6 F4  8 WEEK LOAN  AVAILABLE
30
Mark
  Papers in philosophical logic.
Lewis, David K., 1941-
Cambridge : Cambridge University Press, 1998.   		1998
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 L6  v.1  8 WEEK LOAN  AVAILABLE
31
Mark
  Popular lectures on mathematical logic
Wang, Hao, 1921-
New York : Van Nostrand Reinhold, 1981.   		1981
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 9 W2  8 WEEK LOAN  AVAILABLE
32
Mark
  Probability and the logic of rational belief.
Kyburg, Henry Ely, 1928-
Middletown, Conn. : Wesleyan University Press, [1961]   		1961
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 141 K9  8 WEEK LOAN  AVAILABLE
33
Mark
  Problems of form

Stanford, Calif. : Stanford University Press, 1999.   		1999
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 5th Floor  HM 701 P9  8 WEEK LOAN  AVAILABLE
34
Mark
  Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting
Summer School in Logic (1967 : Leeds)
Berlin ; New York [etc.] : Springer-Verlag, 1968.   		1968
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  q QA 4 L47(70)  8 WEEK LOAN  AVAILABLE
35
Mark
  Proof : interesting activities in conjecture and mathematical proof. Student handbook
Brown, Paul David, 1955- author.
Perth, W.A. : Paul Brown, 2010.   		2010
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  q QA 9.54 B8  8 WEEK LOAN  AVAILABLE
 BJL 3rd Floor  q QA 9.54 B8  8 WEEK LOAN  AVAILABLE
36
Mark
  Proofs and refutations : the logic of mathematical discovery
Lakatos, Imre, 1922-1974, author.
Cambridge : Cambridge University Press, 1976.   		1976
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room 1st floor HDC  QA 8.4 L1  4 WEEK LOAN  AVAILABLE
37
Mark
  Q.E.D : beauty in mathematical proof
Polster, Burkard.
New York : Walker & Co, 2004.   		2004
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room Mezzanine  511.36 POL  4 WEEK LOAN  AVAILABLE
 BJL Reading Room Mezzanine  511.36 POL  4 WEEK LOAN  AVAILABLE
 BJL Reading Room Mezzanine  511.36 POL  4 WEEK LOAN  AVAILABLE
Click to view copies/volumes at all libraries
38
Mark
  Routledge philosophy guidebook to Wittgenstein and the Tractatus logico-philosophicus
Morris, Michael (Michael Rowland)
London ; New York : Routledge, 2008.   		2008
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  B 1674 W83 Z66  8 WEEK LOAN  LOST IN LIB
 BJL 3rd Floor  B 1674 W83 Z66  8 WEEK LOAN  AVAILABLE
39
Mark
  Signs of sense : reading Wittgenstein's "Tractatus".
Friedlander, Eli.
Cambridge, Mass. : Harvard University Press, 2001.   		2001
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  B 1674 W83 Z63  8 WEEK LOAN  AVAILABLE
40
Mark
  Solvable cases of the decision problem.
Ackermann, Wilhelm.
Amsterdam : North Holland Publ. Co., 1954.   		1954
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 A1  8 WEEK LOAN  AVAILABLE
41
Mark
  The strange logic of random graphs.
Spencer, Joel H.
Berlin : Springer, 2001.   		2001
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 166.17 S7  8 WEEK LOAN  AVAILABLE
42
Mark
  Studies in logic and probability.
Boole, George, 1815-1864.
London : Watts, [1952]   		1952
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 141 B7  8 WEEK LOAN  AVAILABLE
43
Mark
  Symbolic logic.
Venn, John, 1834-1923.
  		 
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 131 V4  8 WEEK LOAN  AVAILABLE
44
Mark
  Symbolic logic.
Venn, John, 1834-1923.
  		 
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 131 V4  8 WEEK LOAN  AVAILABLE
45
Mark
  Systems of formal logic.
Hackstaff, L.H.
Dordrecht : Reidel, 1966.   		1966
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 135 H1  8 WEEK LOAN  AVAILABLE
46
Mark
  Tense and tense logic
Clifford, John Edward, 1936-
The Hague : Mouton, 1975.   		1975
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 199 T3 C6  8 WEEK LOAN  AVAILABLE
47
Mark
  Thinking About Godel And Turing : essays on complexity, 1970-2007
Chaitin, Gregory J.
Singapore ; London : World Scientific, c2007.   		c2007
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL Reading Room Mezzanine  510.1 CHA  4 WEEK LOAN  AVAILABLE
48
Mark
  Time and modality : being the John Locke lectures for 1955-6 delivered in the University of Oxford.
Prior, Arthur Norman, 1914-1969.
Oxford : Clarendon Press, 1957.   		1957
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 50 B9  8 WEEK LOAN  AVAILABLE
49
Mark
  Turing's World 3.0 for the Macintosh : an introduction to computability theory
Barwise, Jon.
Stanford, Calif. : CSLI Publications, 1993.   		1993
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76 B2  8 WEEK LOAN  AVAILABLE
50
Mark
  The theory of probability : an inquiry into the logical and mathematical foundations of the calculus
Reichenbach, Hans, 1891-1953.
Berkeley, Calif. : University of California Press, 1949.   		1949
BOOK
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  BC 141 R3  8 WEEK LOAN  AVAILABLE
Save marked records Save all on page
Locate in results
Result Page   
Start Over Return To Browse Limit/Sort