Home Advanced Search
Advanced Search - Page 1
Proof methods for modal and intuitionistic logics
- DJVU
- English
- Year: 1983
- Author: Fitting M. ;Davidson, Donald; Hintikka, Jaakko; Nuchelmans, Gabriël
Situations, language and logic
- DJVU
- English
- Year: 1987
- Author: Halvorsen, Per-Kristian; Langholm, Tore; Fenstad, Jens Erik; Benthem, Johan et al.
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 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
Semantical investigations in Heyting's intuitionistic logic
- DJVU
- English
- Year: 1981
- Author: Gabbay, Dov M
Matrix Operations for Engineers and Scientists: An Essential Guide in Linear Algebra
- English
- Year: 2010
- Author: Alan Jeffrey (auth.)
Marsupial Genetics and Genomics
- English
- Year: 2010
- Author: Emily J. Miller, Catherine A. Herbert (auth.), Janine E. Deakin, Paul D. Waters, Jennifer A. Marshall Graves (eds.)