Your search returned 14 results.

|
1. Propositional calculus. by Nidditch, P. H. (Peter Harold) [1928-] Publication: Routledge & K.Paul 1962 . 83p.,18cm. Date: 1962 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.2 NID] (1),
2. Mathematical logic : a course with exercises. by Cori, Rene Publication: Oxford Oxford University Press 2001 . 368p. , (CIP) CIP record. Publication date: 04 2001 | Includes index. 24cm. (pbk) Date: 2001 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.2 COR] (1),
3. A course of higher mathematics. Vol. II: Advanced calculus by Smirnov, Vladimir Ivanovich Publication: Pergamon 1964 . 546p.,ill.,24cm. Date: 1964 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511 SMI] (1),
4. Computability and logic by Boolos, George S. Publication: Cambridge University Press 1989 . (pbk) Date: 1989 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.21 BOO] (1),
5. From Frege to Gödel : a source book in mathematical logic, 1879-1931 by Van Heijenoort, Jean Publication: Cambridge, Mass.; London Harvard University Press 1967 . viii, 664 p. , Originally published: 1967. port Date: 1967 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.2 HEI] (1), School of Theoretical Physics Library [511.2 HEI] (1),
6. Sets, Logic and axiomatic theories. by Stoll, Robert Roth Publication: San Francisco W.H. Freeman and Co. 1961 Date: 1961 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.31 STO] (1),
7. Sets, logic and categories by Cameron, Peter J. (Peter Jephson) [1947-] Publication: London Springer 1999 . x, 180p. ill Date: 1999 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.31 CAM] (1),
8. The theory of graphs and its applications by Berge, Claude Publication: London; New York Methuen; Wiley 1962 . x, 247p. , Originally published as Théorie des graphes et ses applications. Paris, Dunod, 1958. | (TIT) Théorie des graphes et ses applications. biblio Date: 1962 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.51 BER] (1),
9. Mathematical logic : a course with exercises by Cori, René Publication: Oxford Oxford University Press 2000 . v ; 24 cm. , (TIT) Logique mathématique. English | (CON) Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus. Date: 2000 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.2 COR] (1),
10. Functions and graphs. by Gelfand, I.M. Publication: Cambridge, MA M.I.T. Press 1969 Date: 1969 Availability: Items available: School of Theoretical Physics John T. Lewis Special Collection (Room 306) [511.51 GEL] (1),
11. An introduction to Kolmogorov complexity and its applications by Li, Ming Publication: New York Springer 1997 . xx,637p. , Previous ed.: 1993. | Bibliography: p[591]-617. - Includes index. ill Date: 1997 Availability: Items available: School of Theoretical Physics Library [511.37 LI] (1),
12. Lectures on the combinatorics of free probability by Nica, Alexandru Publication: Cambridge Cambridge University Press 2006 . 335 p. (pbk) , (CIP) CIP record. Publication date: 09 2006 Date: 2006 Availability: Items available: School of Theoretical Physics Library [511.56 NIC] (1),
13. Theory of graphs. by Ore, Oystein Publication: Rhode Isl. American mathematical society 1962 Date: 1962 Availability: Items available: School of Theoretical Physics Library [511.51 ORE] (1), Lost (1),
14. Graph theory applications. by Foulds, L.R. Publication: New York Springer-Verlag 1992 Date: 1992 Availability: Items available: School of Theoretical Physics Library [511.51 FOU] (1),