- 2 402 202 книги
- Поиск
Southeast asian conference on logic: Proceedings Singapore, 1981
Автор: Southeast Asian Conference on Logic (1981 Singapore), Автор: C. T. Chong, Автор: M. J. Wicks, Автор: C. T. Chong
Размер книги: 1.07 Mb
Logic, methodology and philosophy of science VIII: Proceedings Moscow, 1987
Автор: Methodology, Автор: and Philosophy of Science (10th : 1995 : Florence, Автор: Italy) International Congress of Logic, Автор: Ivan Timofeevich Frolov, Автор: Jens Erik Fenstad, Автор: Risto Hilpinen, Автор: Risto Hilpinen
Размер книги: 4.25 Mb
Logic, methodology and philosophy of science IX: Proceedings Uppsala, 1991
Автор: Methodology, Автор: and Philosophy of Science (10th : 1995 : Florence, Автор: Italy) International Congress of Logic, Автор: Brian Skyrms, Автор: Dag Westerstahl, Автор: Dag Prawitz, Автор: B. Skyrms, Автор: D. Westerstahl
Размер книги: 6.03 Mb
From Peirce to Skolem: A neglected chapter in the history of logic
Автор: Geraldine Brady
Размер книги: 3.28 Mb
Foundations without foundationalism: A case for second-order logic
Автор: Stewart Shapiro
Размер книги: 3.79 Mb
Truth, vagueness, and paradox: An essay on the logic of truth
Автор: Vann McGee
Размер книги: 3.00 Mb
Logic colloquium '95: Proc. Haifa 1995
Автор: Johann A. Makowsky, Автор: Elena V. Ravve
Размер книги: 3.14 Mb
Boole's logic and probability: A critical exposition
Автор: Theodore Hailperin
Размер книги: 2.58 Mb
Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.
Автор: John N. Crossley
Размер книги: 2.14 Mb
Logic for computer science: foundations of automatic theorem proving
Автор: Jean H. Gallier
Размер книги: 1.85 Mb
Paraconsistency: The logical way to the inconsistent. Proceedings Sao Paolo
Автор: Carnielli/Conig
Размер книги: 4.46 Mb
Logic colloquium '96: Proc. San Sebastian
Автор: Jesus M. Larrazabal, Автор: Daniel Lascar, Автор: Grigori Mints
Размер книги: 1.97 Mb
Bounded variable logics and counting: A study in finite models
Автор: Martin Otto
Размер книги: 1.55 Mb
What is mathematical logic
Автор: C. J. Ash, Автор: J. N. Crossley, Автор: C. J. Brickhill, Автор: J. C. Stillwell, Автор: N. H. Williams
Размер книги: 883 Kb
Logic, semantics, metamathematics: Papers from 1923 to 1938
Автор: Alfred Tarski
Размер книги: 26.89 Mb
Language in action: Categories, lambdas and dynamic logic
Автор: J. van Benthem
Размер книги: 2.36 Mb
Logic colloquium '90: Proc. Helsinki 1990
Автор: Juha M.R. Oikkonen, Автор: Jouko Väänänen
Размер книги: 2.81 Mb
Logic in algebraic form: Three languages and theories (no TOC)
Автор: William Craig
Размер книги: 1.34 Mb
Modal logic and process algebra: A bisimulation perspective
Автор: Alban Ponse, Автор: Maarten de Rijke, Автор: Yde Venema
Размер книги: 2.25 Mb
From Frege to Goedel: A source book in mathematical logic, 1879-1931
Автор: Jean van Heijenoort
Размер книги: 6.57 Mb
Model-theoretic logics
Автор: J. Barwise, Автор: S. Feferman, Автор: J. Baldwin
Размер книги: 7.46 Mb
Intensional and higher-order modal logic. With applications to Montague semantics
Автор: Author Unknown
Размер книги: 945 Kb
Mathematical logic in Latin America: Proceedings Santiago, 1978
Автор: Lev D. Beklemishev
Размер книги: 2.84 Mb
Non-classical logics, model theory and computability: Proceedings Campinas, 1976
Автор: Lev D. Beklemishev
Размер книги: 1.78 Mb
Mathematical logic and foundations of set theory: Proceedings Jerusalem, 1968
Автор: Yehosha Bar-Hillel
Размер книги: 1019 Kb
An Algebraic Introduction to Mathematical Logic
Автор: D.W. Barnes, Автор: J.M. Mack
Размер книги: 1.14 Mb
Logical frameworks for truth and abstraction: An axiomatic study
Автор: A. Cantini
Размер книги: 2.67 Mb
Logic, methodology and philosophy of science VI: Proceedings Hannover, 1979
Автор: J.J. Cohen
Размер книги: 5.60 Mb
Models and computability: Invited papers from Logic Colloquium '97
Автор: S. Barry Cooper, Автор: John K. Truss
Размер книги: 2.94 Mb
Proceedings of the 7th and 8th Asian Logic Conferences
Автор: Rod Downey, Автор: Rod Downey, Автор: Qiu Yu Hui, Автор: Tung Shih Ping, Автор: Ding Decheng, Автор: Mariko Yasugi
Размер книги: 2.84 Mb
Logic colloquium '87: Proceedings Granada, 1987
Автор: H. D. Ebbinghaus, Автор: J. Fernandez-Prida, Автор: M. Garrido, Автор: D. Lascar
Размер книги: 2.87 Mb
Linear logic in computer science
Автор: Thomas Ehrhard, Автор: Jean-Yves Girard, Автор: Paul Ruet, Автор: Philip Scott
Размер книги: 2.28 Mb
Many-dimensional modal logics: Theory and applications
Автор: A. Kurucz, Автор: F. Wolter, Автор: M. Zakharyaschev, Автор: Dov M. Gabbay
Размер книги: 4.63 Mb
Quantification in nonclassical logic.
Автор: Dov M. Gabbay, Автор: Dimitrij Skvortsov, Автор: Valentin Shehtman
Размер книги: 4.17 Mb
Logic from Russell to Church, Volume 5
Автор: Dov M. Gabbay, Автор: John Woods
Размер книги: 4.45 Mb
Residuated lattices: An algebraic glimpse at substructural logics
Автор: Nikolaos Galatos, Автор: Peter Jipsen, Автор: Tomasz Kowalski, Автор: Hiroakira Ono
Размер книги: 5.25 Mb
Logic colloquium 76: Proceedings Oxford, 1976
Автор: Gandy R.O., Автор: Hyland J.M.E. (eds.)
Размер книги: 4.67 Mb
Collected works of A.M.Turing. Mathematical logic
Автор: Gandy R.O., Автор: Yates C.E.M. (eds.)
Размер книги: 2.28 Mb
Advances in linear logic
Автор: Jean-Yves Girard, Автор: Yves Lafont, Автор: Laurent Regnier
Размер книги: 2.38 Mb
Mathematical logic in Asia: Proceedings of the 9th Asian Logic Conference
Автор: R. Downey, Автор: S S Goncharov, Автор: H Ono
Размер книги: 2.08 Mb
Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus
Автор: Lev D. Beklemishev
Размер книги: 1.04 Mb
PRINCIPLES OF MATHEMATICAL LOGIC. CHELSEA PUBL. 1950.
Автор: D & W ACKERMANN HILBERT
Размер книги: 1.24 Mb
Proceedings of the Third Scandinavian Logic Symposium: Uppsala, 1973
Автор: Kanger S. (ed.)
Размер книги: 1.16 Mb
Bounded arithmetic, propositional logic and complexity theory
Автор: Jan Krajicek
Размер книги: 2.00 Mb
The problem of inductive logic: Proceedings London, 1965
Автор: Lev D. Beklemishev
Размер книги: 2.70 Mb
A course in mathematical logic for mathematicians
Автор: Yu. I. Manin, Автор: Neal Koblitz, Автор: B. Zilber
Размер книги: 3.00 Mb
Logic, methodology and philosophy of science VII: Proceedings Salzburg, 1983
Автор: Ruth Barcan-Marcus, Автор: George J. W. Dorn, Автор: Paul Weingartner
Размер книги: 4.59 Mb
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.