Title: Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / Edition 1, Author: Martin H. Löb
Title: Proof Theory and Intuitionistic Systems / Edition 1, Author: Bruno Scarpellini
Title: Foundations of the Logical Theory of Scientific Knowledge (Complex Logic) / Edition 1, Author: A.A. Zinov'ev
Title: Axiomatic Set Theory, Author: G. Takeuti
Title: Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971 / Edition 1, Author: A. R. D. Mathias
Title: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis / Edition 1, Author: Anne S. Troelstra
Title: ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edition 1, Author: G. H. Müller
Title: Wittgenstein's Philosophy of Mathematics / Edition 1, Author: V.H. Klenk
Title: Essays in Memory of Imre Lakatos / Edition 1, Author: Robert S. Cohen
Title: Logic in Linguistics / Edition 1, Author: Jens Allwood
Title: Highlights of Astronomy: Part II As Presented at the XVIth General Assembly 1976 / Edition 1, Author: E.A. Mïller
Title: Advanced Logic for Applications / Edition 1, Author: R.E. Grandy
Title: Computability: An Introduction to Recursive Function Theory, Author: Nigel Cutland
Title: 5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 / Edition 1, Author: Wolfgang Bibel
Title: Recursion Theory, its Generalisations and Applications, Author: F. R. Drake
Title: Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979 / Edition 1, Author: L. Pacholski
Title: The Foundations of Analysis: A Straightforward Introduction: Book 1 Logic, Sets and Numbers / Edition 2, Author: K. G. Binmore
Title: Finite Geometries and Designs: Proceedings of the Second Isle of Thorns Conference 1980, Author: P. J. Cameron
Title: The Foundations of Topological Analysis: A Straightforward Introduction: Book 2 Topological Ideas / Edition 2, Author: K. G. Binmore
Title: Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / Edition 1, Author: F. Richman

Pagination Links