|
21.
|
Set theory, logic and their limitations
by Machover, Moshe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1996Availability: Items available for loan: [Call number: 511.3 MAC] (1).
|
|
22.
|
Introduction to Symbolic Dynamics and Coding
by Lind, Douglas | Marcus, Brain. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1995Availability: Items available for loan: [Call number: 003.85 LIN] (1).
|
|
23.
|
Linear logic in computer science
by Ehrhard, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
|
|
24.
|
How to prove it : a structured approach
by Velleman, Daniel J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2006Availability: Items available for loan: [Call number: 511.3 VEL] (1).
|
|
25.
|
Set theory and its logic
by Quine, William V. Edition: Revised ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Belknap Press, 1969Availability: Items available for loan: [Call number: 512.817 QUI] (1).
|
|
26.
|
Non-standard analysis
by Robinson, Abraham. Edition: Rev. ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 1996Availability: Items available for loan: [Call number: 515.1 ROB] (1).
|
|
27.
|
Birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
by Badesa, Calixto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Princeton University Press, 2004Availability: Items available for loan: [Call number: 511.8 BAD] (1).
|
|
28.
|
Classical mathematical logic: the semantic foundations of logic .
by Epstein, Richard L | Szczerba, Leslaw W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2006Availability: Items available for loan: [Call number: 511.3 EPS] (1).
|
|
29.
|
Proof, logic, and conjecture : the mathematician's toolbox
by Wolf, Robert S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: W. H. Freeman, 1997Availability: Items available for loan: [Call number: 511.3 WOL] (1).
|
|
30.
|
Practical reason : on the theory of action
by Bourdieu, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Polity Press, 2001Availability: Items available for loan: [Call number: 301.0121 BOU] (1).
|
|
31.
|
Logic, sets, and recursion (Supplement)
by Causey, Robert L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Jones & Bartlett, 2001Availability: Items available for loan: [Call number: 511.3 CAU] (2).
|
|
32.
|
Logic for computer scientists
by Schoning, Uwe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 1989Availability: Items available for loan: [Call number: 511.3 SCH] (1).
|
|
33.
|
Tour through mathematical logic
by Wolf, Robert | Wolf, Robert S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Washington: Mathematical Association of America, 2005Availability: Items available for loan: [Call number: 511.3 WOL] (1).
|
|
34.
|
Logic as algebra
by Halmos, Paul | Givant, Steven. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Washington: Mathematical Association of America, 1998Availability: Items available for loan: [Call number: 511.3 HAL] (1).
|
|
35.
|
Mathematical logic
by Shoenfield, Joseph R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 1967Availability: Items available for loan: [Call number: 511.3 SHO] (1).
|
|
36.
|
Fundamentals of mathematical logic
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
37.
|
Mathematics and common sense : a case of creative tension
by Davis, Philip J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Wellesley: A K Peters, 2006Availability: Items available for loan: [Call number: 511.3 DAV] (1).
|
|
38.
|
Mathematical logic for computer science
by Ben-Ari, Mordechai. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.3 BEN] (2).
|
|
39.
|
Logic and complexity
by Lassaigne, Richard | Rougemont, Michel de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2004Availability: Items available for loan: [Call number: 511.3 LAS] (1).
|
|
40.
|
Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
by Hurd, Joe | Melham, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HUR] (1).
|