Limit search to available items
Nearby BJL CLASSMARKS are:
Result Page   Prev Next
Save marked records Save all on page
Mark   Media Year
BC 135 H3 : Introduction to the basic concepts and problems of modern logic.; BJL     
      Introduction to the basic concepts and problems of modern logic. BJL  BOOK 1972
BC 135 H5 : Structure, method and meaning / essays in honor of Henny M. Sheffer. edited by P. Henle, H.M. Kallen and S.K. Langer.; BJL     
      Structure, method and meaning / essays in honor of Henny M. Sheffer. edited by P. Henle, H.M. Kallen BJL  BOOK 1951
BC 135 H6    
      Distributive normal forms in the calculus of predicates. BJL  BOOK 1953
      The philosophy of mathematics / edited by Jaakko Hintikka. BJL  BOOK 1969
      Two papers on symbolic logic. BJL  BOOK 1955
BC 135 H9 : Metalogic : an introduction to the metatheory of standard first order logic.; BJL     
      Metalogic : an introduction to the metatheory of standard first order logic. BJL  BOOK 1971
BC 135 I8 : Mathematical logic and foundations of set theory.; BJL     
      Mathematical logic and foundations of set theory. BJL  BOOK 1970
BC 135 K1 : Logic : techniques of formal reasoning / edited by D. Kalish and R. Montague.; BJL     
      Logic : techniques of formal reasoning / edited by D. Kalish and R. Montague. BJL  BOOK 1964
BC 135 K2 : First order functional calculus.; BJL     
      First order functional calculus. BJL  BOOK 1964
BC 135 K6    
      The foundations of intuitionistic mathematics, especially in recursive functions. BJL  BOOK 1965
      Mathematical logic and the foundations of mathematics. BJL  BOOK 1963
BC 135 K9 : Set theory.; BJL     
      Set theory. BJL  BOOK 1968
BC 135 L2 : An introduction to symbolic logic.; BJL     
      An introduction to symbolic logic. BJL  BOOK 1953
BC 135 L4    
      Statistical and inductive probabilities. BJL  BOOK 1962
      Symbolic logic. BJL  BOOK 1962
      Techniques of deductive inference. BJL  BOOK 1966
      Truth-value semantics. BJL  BOOK 1976
BC 135 L6    
      Levels of Abstraction on Logic and Human Action / editor. E. Jaques with R.O. Gibson and D.J. Isaac. BJL  BOOK 1978
      Papers in philosophical logic. BJL  BOOK 1998
      A survey of symbolic logic. BJL  BOOK 1960
BC 135 L8    
      Contributions to mathematical logic / editedby H.A. Schmidt, K. Schutte and H.J. Thiele. BJL  BOOK 1968
      Einführung in die operative Logik und mathematik. BJL  BOOK 1969
      Logic colloquium 69 / edited by R.O. Gandy and C.M.E. Yates. BJL  BOOK 1971
BC 135 L9    
      Elements of mathematical logic. BJL  BOOK 1963
      Notes on logic. BJL  BOOK 1966
      Selected works. BJL  BOOK 1970
BC 135 M2 : Topics in modern logic.; BJL     
      Topics in modern logic. BJL  BOOK 1973
BC 135 M3 : The notion of analytic truth.; BJL     
      The notion of analytic truth. BJL  BOOK 1959
BC 135 M4    
      Elementary logic. BJL  BOOK 1972
      Elementary logic. BJL  BOOK 1965
      Understanding symbolic logic. BJL  BOOK 1970
BC 135 M9    
      Logic and social choice. BJL  BOOK 1968
      Thirty years of foundational studies : 1930-64. BJL  BOOK 1966
BC 135 N1 : Godel's proof / edited by E. Nagel and J.R. Newman.; BJL     
      Godel's proof / edited by E. Nagel and J.R. Newman. BJL  BOOK 1959
BC 135 N6    
      Elementary logic of science and mathematics. BJL  BOOK 1960
      Propositional calculus. BJL  BOOK 1962
BC 135 O5 : On being and saying : essays for Richard Cartwright / edited by J.J. Thomson.; BJL     
      On being and saying : essays for Richard Cartwright / edited by J.J. Thomson. BJL  BOOK 1987
BC 135 P5    
      Philosophy of mathematics : selected readings / edited and with an introduction by P. Benacerraf and BJL  BOOK 1964
      Philosophy of mathematics : selected readings / edited by P. Benacerraf [and] H. Putnam. BJL  BOOK 1983
BC 135 Q7    
      Elementary logic. BJL  BOOK 1966
      Selected logic papers. BJL  BOOK 1966
      Set theory and its logic. BJL  BOOK 1963
BC 135 R1 : Foundations : essays in philosophy, logic, mathematics and economics / edited by D.H. Mellor.; BJL     
      Foundations : essays in philosophy, logic, mathematics and economics / edited by D.H. Mellor. BJL  BOOK 1978
BC 135 R3 : Laws, modalities and counterfactuals.; BJL     
      Laws, modalities and counterfactuals. BJL  BOOK 1976
BC 135 R4 : Topics in philosophical logic.; BJL     
      Topics in philosophical logic. BJL  BOOK 1968
BC 135 R6    
      Complete theories. BJL  BOOK 1956
      Introduction to model theory and to the mathematics of algebra. BJL  BOOK 1963
      Mathematical logic : a first course. BJL  BOOK 1969
BC 135 R7 : Mathematical logic and formalized theories.; BJL     
      Mathematical logic and formalized theories. BJL  BOOK 1971
BC 135 R8    
      Logic for mathematicians. BJL  BOOK 1953
      Many-valued logics. BJL  BOOK 1952
BC 135 R9 : Infinity and the mind : the science and philosophy of the infinite.; BJL     
      Infinity and the mind : the science and philosophy of the infinite. BJL  BOOK 1982
BC 135 S2 : Proceedings of the second Scandinavian logic symposium : edited by J.E. Fenstad.; BJL     
      Proceedings of the second Scandinavian logic symposium : edited by J.E. Fenstad. BJL  BOOK 1971
BC 135 S3    
      Logics without existence assumptions. BJL  BOOK 1968
      New foundations for concept theory. BJL  BOOK 1969
BC 135 S5 : The development of symbolic logic : a critical-historical study of the logical calculus.; BJL     
      The development of symbolic logic : a critical-historical study of the logical calculus. BJL  BOOK 1900
BC 135 S8    
      Combinators, Lambda-terms and prrof theory. BJL  BOOK 1972
      Mathematical logic, with special reference to the natural numbers. BJL  BOOK 1972
BC 135 S9    
      History of mathematical logic from Leibniz to Peano. BJL  BOOK 1969
      Introduction to logic. BJL  BOOK 1957
      Reduktionstheorie des Entscheidungsproblems im Pradikatenkalkul der ersten Style. BJL  BOOK 1959
      Some problems in logical model theory. BJL  BOOK 1960
BC 135 T1 : Logic, semantics, metamathematics : papers from 1923 to 1938.; BJL     
      Logic, semantics, metamathematics : papers from 1923 to 1938. BJL  BOOK 1956
BC 135 T6 : Logical studies.; BJL     
      Logical studies. BJL  BOOK 1955
BC 135 V2    
      Frege and Godel : two fundamental texts in mathematical logic. BJL  BOOK 1970
      From Frege to Godel : a source books in mathematical logic, 1879-1931. BJL  BOOK 1967
BC 135 V4 : How to prove it : a structured approach.; BJL     
      How to prove it : a structured approach. BJL  BOOK 1994
BC 135 W2    
      From mathematics to philosophy. BJL  BOOK 1974
      Reflections on Kurt Gödel / Hao Wang. BJL  BOOK 1987
BC 135 W5    
      Principia mathematica to 56 / edited by A.N. Whitehead and B. Russell. BJL  BOOK 1962
      What is mathematical logic? / edited by J.N. Crossley and others. BJL  BOOK 1972
BC 135 W8    
      The logic of fiction : a philosophical sounding of deviant logic. BJL  BOOK 1974
      Mathematical interpretation of formal systems. BJL  BOOK 1955
      The technique of theory construction. BJL  BOOK 1939
BC 135 Z7    
      Non-standard logic and its applications (several lectures in Oxford). BJL  BOOK 1983
      Philosophical problems of many-valued logic. BJL  BOOK 1963
BC 141 A9 : Probability and evidence.; BJL     
      Probability and evidence. BJL  BOOK 1972
BC 141 B4 : Probability, objectivity and evidence.; BJL     
      Probability, objectivity and evidence. BJL  BOOK 1984
BC 141 B7 : Studies in logic and probability.; BJL     
      Studies in logic and probability. BJL  BOOK 1952
BC 141 B9 : Probability and opinion : A study in the medieval presuppositions of post-medieval theories of probability / by Edmund F. Byrne.; BJL     
      Probability and opinion : A study in the medieval presuppositions of post-medieval theories of probab BJL  BOOK 1968
BC 141 C2    
      Logical foundations of probability. BJL  BOOK  
      Logical foundations of probability. BJL  BOOK 1962
BC 141 C6 : The probable and the provable.; BJL     
      The probable and the provable. BJL  BOOK 1977
BC 141 D2 : Inductive probability.; BJL     
      Inductive probability. BJL  BOOK 1961
Save marked records Save all on page
Result Page   Prev Next