Home Advanced Search

Advanced Search - Page 1

Situations, language and logic
  • DJVU
  • English
  • Year: 1987
  • Author: Halvorsen, Per-Kristian; Langholm, Tore; Fenstad, Jens Erik; Benthem, Johan et al.
Proof methods for modal and intuitionistic logics
  • DJVU
  • English
  • Year: 1983
  • Author: Fitting M. ;Davidson, Donald; Hintikka, Jaakko; Nuchelmans, Gabriël
Universal algebra
  • DJVU
  • English
  • Year: 1981
  • Author: Cohn P.M.
Semantical investigations in Heyting's intuitionistic logic
  • DJVU
  • English
  • Year: 1981
  • Author: Gabbay, Dov M
The evolution of the Euclidean elements: a study of the theory of incommensurable magnitudes and its significance for early Greek geometry
  • DJVU
  • English
  • Year: 1975
  • Author: Knorr, Wilbur Richard; Euclides
Course of mathematical logic. Vol.2: Model theory
  • DJVU
  • English
  • Year: 1974
  • Author: Fraïssé, Roland
Formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
  • DJVU
  • English
  • Year: 1962
  • Author: Beth E.W.
The creation of quantum mechanics and the Bohr-Pauli dialogue
  • DJVU
  • English
  • Year: 1984
  • Author: Hendry J.
The Philosophy of Quantum Mechanics
  • PDF
  • English
  • Year: 1968
  • Author: D.I. Blokhintsev
Date Palm Genetic Resources and Utilization: Volume 2: Asia and Europe
  • PDF
  • English
  • Year: 2015
  • Author: Jameel M. Al-Khayri, Shri Mohan Jain, Dennis V. Johnson (eds.)
search