Home Advanced Search

Advanced Search - Page 1

A method in proofs of undefinability: With applications to functions in the arithmetic of natural numbers
  • PDF
  • English
  • Year: 1959
  • Author: Karel Louis de Bouvere
Introduction to Metamathematics
  • DJVU
  • English
  • Year: 1952
  • Author: S.C. Kleene
Models and Ultraproducts: An Introduction
  • PDF
  • English
  • Year: 1969
  • Author: Bell, J. and Slomson, A.
Philosophy of Physics
  • PDF
  • English
  • Year: 2006
  • Author: Butterfield, Jeremy; Earman, John; Gabbay, Dov M.; Thagard, Paul; Woods, John
Intuitionism: An Introduction
  • PDF
  • English
  • Year: 1971
  • Author: A. Heyting
Foundations of Set Theory Second Revised Edition
  • PDF
  • English
  • Year: 1973
  • Author: A.A. Fraenkel, Y. Bar-Hillel, A. Levy
Linear Algebra, Rational Approximation Orthogonal Polynomials
  • PDF
  • English
  • Year: 1997
  • Author: A. Bultheel, M. Van Barel
Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965
  • PDF
  • English
  • Year: 1967
  • Author: John N. Crossley
Relativity: The general theory
  • DJVU
  • English
  • Year: 1960
  • Author: John Lighton Synge
Sets, Models and Recursion Theory (Logic Colloquium'65)
  • DJVU
  • English
  • Year: 1967
  • Author: John N. Crossley (ed.)
search