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 F8 R4 : Frege and the philosophy of mathematics.; BJL     
      Frege and the philosophy of mathematics. BJL  BOOK 1980
BC 135 F8 S1 : Departing from Frege : essays in the philosophy of language.; BJL     
      Departing from Frege : essays in the philosophy of language. BJL  BOOK 2002
BC 135 F8 S6 : Gottlob Frege.; BJL     
      Gottlob Frege. BJL  BOOK 1980
BC 135 F8 W9 : Frege's conception of numbers as objects.; BJL     
      Frege's conception of numbers as objects. BJL  BOOK 1983
BC 135 F8 Z6    
      Sense and reference in Frege's logic / tr. by T.J. Blakeley. BJL  BOOK 1968
      A study of Frege. BJL  BOOK 1965
      Two Soviet studies on Frege / edited by I. Angelelli. BJL  BOOK 1964
BC 135 F8 Z62    
      Frege and other philosophers. BJL  BOOK 1991
      Frege's theory of sense and reference : its origins and scope. BJL  BOOK 1994
BC 135 G3 : The collected papers of Gerhard Gentzen / edited by M.E. Szabo.; BJL     
      The collected papers of Gerhard Gentzen / edited by M.E. Szabo. BJL  BOOK 1969
BC 135 G5 : On formally undecidable propositions of Principia mathematica and related systems.; BJL     
      On formally undecidable propositions of Principia mathematica and related systems. BJL  BOOK 1962
BC 135 H1    
      Deviant logic : some philosophical issues. BJL  BOOK 1974
      Systems of formal logic. BJL  BOOK 1966
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
Save marked records Save all on page
Result Page   Prev Next