Your search returned 5 results. Subscribe to this search

|
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. 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),
4. 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),
5. 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),