Limit search to available items
Nearby BJL CLASSMARKS are:
Result Page   Prev Next
Save marked records Save all on page
Mark   Media Year
BC 108 M6 : An introduction to logic.; BJL     
      An introduction to logic. BJL  BOOK 1962
BC 108 N5 : Logic : an introductory course.; BJL     
      Logic : an introductory course. BJL  BOOK 1985
BC 108 P8 : Propositional logic : introduction to logic.; BJL     
      Propositional logic : introduction to logic. BJL  BOOK 1974
BC 108 S5 : Logic and its limits / Patrick Shaw.; BJL     
      Logic and its limits / Patrick Shaw. BJL  BOOK 1997
BC 121 B1 : Thought and things.; BJL     
      Thought and things. BJL  BOOK 1906
BC 126 R4 : Many-valued logic.; BJL     
      Many-valued logic. BJL  BOOK 1969
BC 126 S5 : Multiple-conclusion logic / by D.J. Shoesmith and T.J. Smiley.; BJL     
      Multiple-conclusion logic / by D.J. Shoesmith and T.J. Smiley. BJL  BOOK 1978
BC 128 B2 : The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 / Jon Barwise & John Etchemendy.; BJL     
      The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4. BJL  BOOK 1992
BC 131 A4    
      Fundamentals of symbolic logic. BJL  BOOK 1950
      Logic : the theory of formal inference / edited by A. Ambrose and M. Lazerowitz. BJL  BOOK 1961
BC 131 B3 : Introduction to symbolic logic.; BJL     
      Introduction to symbolic logic. BJL  BOOK 1959
BC 131 B6    
      Precis de logique mathematique. BJL  BOOK  
      A precis of mathematical logic. BJL  BOOK 1959
BC 131 C5 : Introduction to mathematical logic.; BJL     
      Introduction to mathematical logic. BJL  BOOK 1956
BC 131 C8 : L'Algebre de la logique.; BJL     
      L'Algebre de la logique. BJL  BOOK  
BC 131 J5 : Pure logic.; BJL     
      Pure logic. BJL  BOOK  
BC 131 J8 : A treatise of formal logic.; BJL     
      A treatise of formal logic. BJL  BOOK  
BC 131 L6 : Symbolic logic.; BJL     
      Symbolic logic. BJL  BOOK  
BC 131 M1 : Symbolic logic and its applications.; BJL     
      Symbolic logic and its applications. BJL  BOOK  
BC 131 N6 : Introductory formal logic of mathematics.; BJL     
      Introductory formal logic of mathematics. BJL  BOOK 1957
BC 131 Q7 : Mathematical logic.; BJL     
      Mathematical logic. BJL  BOOK 1951
BC 131 R1 : The foundations of mathematics.; BJL     
      The foundations of mathematics. BJL  BOOK 1931
BC 131 R3 : Elements of symobolic logic.; BJL     
      Elements of symobolic logic. BJL  BOOK  
BC 131 R8 : The elements of mathematical logic.; BJL     
      The elements of mathematical logic. BJL  BOOK 1950
BC 131 S3 : A first course in modern logic.; BJL     
      A first course in modern logic. BJL  BOOK 1960
BC 131 T1 : Introduction to logic.; BJL     
      Introduction to logic. BJL  BOOK  
BC 131 V4    
      Symbolic logic. BJL  BOOK  
      Symbolic logic. BJL  BOOK  
BC 135 A1    
      An introduction to many-valued logics. BJL  BOOK 1967
      Solvable cases of the decision problem. BJL  BOOK 1954
BC 135 A5 : Entailment : the logic of relevance and necessity.; BJL     
      Entailment : the logic of relevance and necessity. BJL  BOOK 1975
BC 135 A53    
      Annals of mathematical logic. BJL  PERIODICAL  
      Annals of pure and applied logic. BJL  PERIODICAL 1989
BC 135 B3 : A deductive theory of space and time.; BJL     
      A deductive theory of space and time. BJL  BOOK 1966
BC 135 B5    
      Epistemologie mathematique et psychologie / edited by E.W. Beth and J. Piaget. BJL  BOOK 1961
      Formal methods : an introduction to symbolic logic. BJL  BOOK 1962
      Implication, formalisation et logique naturelle / par E.W. Beth et des autres. BJL  BOOK 1962
      Mathematical epistemology and psychology / edited by E.W. Beth and J. Piaget. BJL  BOOK 1966
BC 135 B6 : Axiomatics.; BJL     
      Axiomatics. BJL  BOOK 1962
BC 135 B7    
      Computability and logic / edited by G. Boolos and R. Jeffrey. BJL  BOOK 1974
      Computability and logic / by G. Boolos and R. Jeffrey. BJL, Departmental Locations   BOOK 1980
      Logic and arithmetic. BJL  BOOK 1974
      The mathematical analysis of logic. BJL  BOOK 1948
      The philosophy of logic 1880-1908. BJL  BOOK 1966
BC 135 C2    
      Compound statements and mathematical logic. BJL  BOOK 1967
      Einführung in die symbolische Logik, mit besonderer Berucksichtigung ihrer Andwendungen. BJL  BOOK 1960
      Foundations of logic and mathematics. BJL  BOOK 1939
      Introduction to symbolic logic and its applications. BJL  BOOK 1958
BC 135 C3 : Meaning and existence in mathematics.; BJL     
      Meaning and existence in mathematics. BJL  BOOK 1972
BC 135 C5 : La logique moderne.; BJL     
      La logique moderne. BJL  BOOK 1957
BC 135 C7    
      Combinatory logic. BJL  BOOK 1958
      Intuitionism and proof theory / edited by A. Kino, J. Myhill and R.E. Vesley. BJL  BOOK 1970
      Symbolic logic. BJL  BOOK 1973
      Symbolic logic. BJL  BOOK 1954
      The theory of logical types. BJL  BOOK 1971
BC 135 C8 : Logic in algebraic form : three languages and theories.; BJL     
      Logic in algebraic form : three languages and theories. BJL  BOOK 1974
BC 135 C9 : Formal systems and recursive functions / edited by J.N. Crossley and M. Dummett ; Logic Colloquium, 8th, Oxford, 1963.; BJL     
      Formal systems and recursive functions / edited by J.N. Crossley and M. Dummett ; Logic Colloquium, 8 BJL  BOOK 1965
BC 135 D3 : On the syllogism, and other logical writings.; BJL     
      On the syllogism, and other logical writings. BJL  BOOK 1966
BC 135 D5 : Symbolic logic and language : a programmed text.; BJL     
      Symbolic logic and language : a programmed text. BJL  BOOK 1965
BC 135 D6    
      Mathematical recreations of Lewis Carroll. BJL  BOOK 1958
      Symbolic logic. BJL  BOOK 1896
      Symbolic logic, part 1 and part 11. BJL  BOOK 1977
BC 135 D8 : Initiation a la logique.; BJL     
      Initiation a la logique. BJL  BOOK 1957
BC 135 E5 : A mathematical introduction to logic.; BJL     
      A mathematical introduction to logic. BJL  BOOK 1972
BC 135 F1 : Logic.; BJL     
      Logic. BJL  BOOK 1973
BC 135 F5 : Symbolic logic : an introduction.; BJL     
      Symbolic logic : an introduction. BJL  BOOK 1952
BC 135 F8    
      The basic laws of arithmetic : exposition of the system. BJL  BOOK 1964
      Begriffsschrift und andere Aufsätze. BJL  BOOK 1964
      Conceptual notation and related articles. BJL  BOOK 1972
      Course of mathematical logic. BJL  BOOK 1973
15 additional entries    
BC 135 F8 B1 : Frege : logical excavations / G.P. Baker & P.M.S. Hacker.; BJL     
      Frege : logical excavations / G.P. Baker & P.M.S. Hacker. BJL  BOOK 1984
BC 135 F8 B4 : Frege's theory of judgement.; BJL     
      Frege's theory of judgement. BJL  BOOK 1979
BC 135 F8 B9 : Truth, thought, reason : essays on Frege.; BJL     
      Truth, thought, reason : essays on Frege. BJL  BOOK 2005
BC 135 F8 C9 : Frege : an introduction to his philosophy.; BJL     
      Frege : an introduction to his philosophy. BJL  BOOK 1982
Save marked records Save all on page
Result Page   Prev Next