Diliman 67

Union Catalog (Buklod) 67

College of Science Diliman Main Library: Social Sciences Section 2 Institute of Mathematics 2 College of Engineering Library II 1 National Institute of Physics 1

Q - Science 67

Logic, Symbolic and mathematical Mathematics 12 Philosophy 6 Set theory 4 Algebra, Abstract 3 Combinatorial analysis 3 Artificial intelligence 2 Automatic theorem proving 2 Formal languages 2 Mathematics--Philosophy 2 Algebraic logic 1 Analogy 1 Arithmetic -- Foundations 1 Arithmetic--Foundations 1 Axioms 1 Calculus 1 Computable functions 1 Computational complexity 1 Computer Science 1 Computer science 1 Computer science --Mathematics 1 Concepts 1 Congresses 1 Enigma cipher system 1 Induction (Mathematics) 1 Inference 1 Logic programming 1 Machine theory 1 Mathematical -- Philosophy 1 Mathematical analysis 1 см. все ...

Crossley, John N. 5 Lipschutz, Seymour 3 International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science 2 Kreisel, Georg 2 Krivine, J. L. 2 Lipson, Marc 2 Mendelson, Elliott 2 Robbin, Joel W. 2 Association for Symbolic Logic 1 Barnes, Donald W. 1 Bibel, W. 1 Black, Max 1 Bulloff, Jack J. 1 Chang, Chin-Liang, 1937- 1 Cohen, Paul J., 1934- 1 Cohen, Robert S. 1 Conference on Automated Deduction Les Arcs, Savoie, France 1 Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968 1 Cooper, S. B. 1 Curry, Haskell B. (Haskell Brooks), 1900- 1 Delong, Howard 1 Dov M. Gabbay 1 Dummett, Michael A. E. 1 Durst, Lincoln K. 1 Eccles, Peter J. 1 Enderton, Herbert B. 1 Exner, Robert M. 1 Fenstad, Jens Erik 1 Fetisov, A. I. 1 Feyerabend, P.K 1 см. все ...

‌ 67

English 53