Search for 'su:Logic, Symbolic and mathematical'

Vol. 1: Background : mathematical structures

Oxford : Clarendon Press, 1992 . XII, 827 p. ; 24 cm.. 0198537352

Place Hold on Vol. 1: Background : mathematical structures

Vol. 2.: Deduction methodologies /

Oxford : Clarendon Press, 1994 . XV, 511 p. ; 24 cm.. 0198537468

Place Hold on Vol. 2.: Deduction methodologies /

Cambridge Summer School in Mathematical Logic, held in Cambridge, England, August 1-21, 1971 /

Berlin ; New York : Springer-Verlag, 1973 . IX, 660 p. ; 25 cm.. 354005569x

Place Hold on Cambridge Summer School in Mathematical Logic, held in Cambridge, England, August 1-21, 1971 /

Logic colloquium '69 : proceedings of the Summer school and Colloquiun in Mathematical Logic, Manchester, August 1969 /

Amsterdam North-Holland, 1971 . XIV, 451 p. ; 23 cm.. 0720422612

Place Hold on Logic colloquium '69 : proceedings of the Summer school and Colloquiun in Mathematical Logic, Manchester, August 1969 /

Mathematical logic /

By Shoenfield, Joseph R.. Reading : Addison-Wesley Pub. Co., 1967 . VII, 344 p. : 25 cm..

Place Hold on Mathematical logic /

Temporal logic : mathematical foundations and computational aspects /

By Gabbay, Dov M.. Oxford : Clarendon Press ; New York : Oxford University Press, 1994 . XIV, 653 p. : 24 cm.. 0198537697

Place Hold on Temporal logic : mathematical foundations and computational aspects /

Vol. 2: Background : computational structures

Oxford : Clarendon Press, 1992 . X, 571 p. ; 24 cm.. 0198537611

Place Hold on Vol. 2: Background : computational structures

Mathematical logic and theoretical computer science /

New York : Dekker, 1987 . XVIII, 383 p. ; , Papers presented during thr XVI special year of the department of mathematics of the University of Maryland, 1984-1985 26 cm.. 0824777468

Place Hold on Mathematical logic and theoretical computer science /

An introduction to mathematical logic and type theory : to truth through proof /

By Andrews, Peter Bruce. Orlando : Academic Press, 1986 . XV, 304 p. ; 24 cm.. 0120585367

Place Hold on An introduction to mathematical logic and type theory : to truth through proof /

A course in mathematical logic /

By Bell, John Lane. Amsterdam : North-Holland Pub. Co., 1977 . XVIII, 599 p. ; 23 cm.. 0720428440

Place Hold on A course in mathematical logic /

Classical invariant theory /

By Olver, Peter J.. Cambridge : Cambridge University Press, 1999 . XXI, 280 ; 23 cm.. 0521558212

Place Hold on Classical invariant theory /

Vol. 3.: Nonmonotonic reasoning and uncertain reasoning /

Oxford : Clarendon Press, 1994 . XIX, 529 p. ; 24 cm.. 0198537476

Place Hold on Vol. 3.: Nonmonotonic reasoning and uncertain reasoning /

Foundation of the logical theory of scientific knowledge (Complex logic) /

By Zinov'ev, Aleksandr Aleksandrovich. Dordrecht : Reidel, 1973 . XXII, 301 p. ; 23 cm.. 9027701938

Place Hold on Foundation of the logical theory of scientific knowledge (Complex logic) /

Algebraic logic /

By Halmos, Paul Richard. New York : Chelsea Pub. Co., 1962 . 271 p. ; 26 cm..

Place Hold on Algebraic logic /

Logic and visual information /

By Hammer, Eric M.. Stanford : CSLI Publications ; [s.l.] : Folli, 1995 . IX, 124 p. ; 23 cm.. 1881526992

Place Hold on Logic and visual information /

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /

Amterdam : North-Holland, 1973 . VIII, 317 p. ; , Sponsored by the College of Liberal Arts of Temple University and the Association for Symbolic Logic 23 cm..

Place Hold on Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /

Contributions to non-standard analysis /

Amsterdam : North-Holland Pub. Co., 1972 . VI, 291 p. ; 23 cm..

Place Hold on Contributions to non-standard analysis /

The collected papers of Gerhard Gentzen /

By Gentzen, Gerhard. Amsterdam : North-Holland Pub. Co., 1969 . XII, 338 p. : 23 cm.. 072042254X

Place Hold on The collected papers of Gerhard Gentzen /

Set theory and logic /

By Stoll, Robert R.. San Francisco : Freeman, 1963 . 474 p. : 23 cm.. 0486638294

Place Hold on Set theory and logic /

Proceedings of the Second Scandinavian Logic Symposium /

Amsterdam : North-Holland Pub. Co., 1971 . 413 p. ; , Held June 18-20, 1970. A meeting of the Association for Symbolic Logic. 23 cm.. 0720422590

Place Hold on Proceedings of the Second Scandinavian Logic Symposium /