- 2 402 202 книги
- Поиск
Advances in Logic, Artificial Intelligence and Robotics: Laptec 2002 (Frontiers in Artificial Intelligence and Applications, 85)
Автор: Brazil) Congress of Logic Applied to Technology 2002 (Sao Paulo, Автор: Joao Inacio Da Silva FilhoКатегория: Наука (общее)
Размер книги: 14.70 Mb
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
Mathematical Logic and Applications
Автор: Japan) Logic Meeting (1987 Kyoto, Автор: T. A. Slaman, Автор: J. Shinoda, Автор: T. Tugue, Автор: T. Tugue
Размер книги: 9.81 Mb
Field-Programmable Logic, Architectures, Synthesis and Applications, 4 conf., FPL '94
Автор: International Workshop on Field-Programmable Logic and Applications 11, Автор: Reiner W. Hartenstein, Автор: Michal Z. ServitКатегория: CsLn_
Размер книги: 21.94 Mb
Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987
Автор: Japan) Logic Meeting (1987 Kyoto, Автор: T. A. Slaman, Автор: J. Shinoda, Автор: T. Tugue, Автор: T. Tugue
Размер книги: 1.90 Mb
Logic Colloquium '73
Автор: Bristol, Автор: Eng., Автор: 1973. Logic Colloquium
Размер книги: 24.56 Mb
Logic, Methodology and Philosophy of Science III
Автор: Methodology and Philosophy of Science, Автор: Third, Автор: Amsterdam, Автор: 1967. International Congress for Logic
Размер книги: 6.34 Mb
Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, U: ... and Philosophy of Science// Proceedings)
Автор: Methodology, Автор: and Philosophy of Science (10th : 1995 : Florence, Автор: Italy) International Congress of Logic, Автор: Brian Skyrms, Автор: Dag Westerstahl, Автор: Dag Prawitz, Автор: B. Skyrms, Автор: D. Westerstahl
Размер книги: 45.57 Mb
Logic, Methodology and Philosophy of Science VIII: Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science,: ... and Philosophy of Science// Proceedings)
Автор: Methodology, Автор: and Philosophy of Science (10th : 1995 : Florence, Автор: Italy) International Congress of Logic, Автор: Ivan Timofeevich Frolov, Автор: Jens Erik Fenstad, Автор: Risto Hilpinen, Автор: Risto Hilpinen
Размер книги: 44.55 Mb
Southeast Asian Conference on Logic: Studies in Logic and Foundations of Mathematics: Proceedings
Автор: Southeast Asian Conference on Logic (1981 Singapore), Автор: C. T. Chong, Автор: M. J. Wicks, Автор: C. T. Chong
Размер книги: 5.66 Mb
Language, proof and logic
Автор: Jon Barwise, Автор: John Etchemendy, Автор: Gerard Allwein, Автор: Dave Barker-Plummer, Автор: Albert Liu
Размер книги: 2.42 Mb
Logic, logic, and logic
Автор: George Boolos, Автор: John P. Burgess, Автор: Richard Jeffrey
Размер книги: 7.71 Mb
Computability and logic
Автор: George S. Boolos, Автор: John P. Burgess, Автор: Richard C. Jeffrey
Размер книги: 1.77 Mb
Proof and disproof in formal logic. An introduction for programmers
Автор: Richard Bornat
Размер книги: 2.57 Mb
Sets, functions, and logic: introduction to abstract mathematics
Автор: Devlin Keith
Размер книги: 789 Kb
A Mathematical Introduction to Logic
Автор: Herbert Enderton, Автор: Herbert B. Enderton
Размер книги: 3.18 Mb
Handbook of Philosophical Logic. Elements of Classical Logic
Автор: Dov M. Gabbay, Автор: F. Guenthner
Размер книги: 5.74 Mb
Handbook of Philosophical Logic. Extensions of Classical Logic
Автор: Dov M. Gabbay, Автор: F. Guenthner
Размер книги: 8.08 Mb
Handbook of Philosophical Logic. Alternatives in Classical Logic
Автор: Dov M. Gabbay, Автор: F. Guenthner
Размер книги: 6.72 Mb
Handbook of the history of logic. The rise of modern logic: from Leibniz to Frege
Автор: Dov M. Gabbay, Автор: John Woods
Размер книги: 5.64 Mb
Handbook of the history of logic. Logic and the modalities in the twentieth century
Автор: Dov M. Gabbay, Автор: John Woods
Размер книги: 5.54 Mb
Handbook of philosophical logic
Автор: D.M. Gabbay, Автор: D.M. Gabbay, Автор: F. Guenthner
Размер книги: 2.50 Mb
The Mathematics of Logic. A guide to completeness theorems and their applications
Автор: Richard W. Kaye
Размер книги: 959 Kb
One hundred years of Russell's paradox. Mathematics, logic, philosophy
Автор: Godehard Link
Размер книги: 2.22 Mb
Schaum's Outline of Logic
Автор: John Nolt, Автор: Dennis Rohatyn, Автор: Achille Varzi
Размер книги: 3.59 Mb
Mathematical logic with special reference to natural numbers
Автор: S. W. P. Steen
Размер книги: 5.29 Mb
Advances in modal logic
Автор: Frank Wolter, Автор: Heinrich Wansing, Автор: Maarten De Rijke, Автор: Michael Zakharyaschev
Размер книги: 2.60 Mb
Handbook of logic in computer science
Автор: S. Abramsky, Автор: Dov. M. Gabbay, Автор: T. S. E. MaibaumКатегория: Mathematical logic
Размер книги: 2.64 Mb
Frege's lectures on logic: Carnap's student notes, 1910-1914
Автор: Steve Awodey, Автор: Erich Rech, Автор: Gottfried GabrielКатегория: Mathematical logic
Размер книги: 2.08 Mb
A course in mathematical logic
Автор: John Bell, Автор: Moshe MachoverКатегория: Mathematical logic
Размер книги: 4.95 Mb
Mathematical logic for computer science
Автор: Mordechai Ben-AriКатегория: Mathematical logic
Размер книги: 2.40 Mb
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
Автор: Merrie BergmannКатегория: Mathematical logic
Размер книги: 1.38 Mb
Computability, complexity, logic
Автор: E. BörgerКатегория: Mathematical logic
Размер книги: 3.64 Mb
Computability and Logic
Автор: George S. Boolos, Автор: John P. Burgess, Автор: Richard C. JeffreyКатегория: Mathematical logic
Размер книги: 2.23 Mb
A computational logic
Автор: Robert S. Boyer, Автор: J.Strother MooreКатегория: Mathematical logic
Размер книги: 1.62 Mb
Meaning and necessity: A study in semantics and modal logic
Автор: Rudolf CarnapКатегория: Mathematical logic
Размер книги: 5.13 Mb
Mathematical logic
Автор: Ian Chiswell, Автор: Wilfrid HodgesКатегория: Mathematical logic
Размер книги: 1.20 Mb
Modal logic: An introduction to its syntax and semantics
Автор: Nino B. Cocchiarella, Автор: Max A. FreundКатегория: Mathematical logic
Размер книги: 2.17 Mb
Foundations of mathematical logic
Автор: Haskell B. CurryКатегория: Mathematical logic
Размер книги: 3.03 Mb
Propositional logic of Boethius
Автор: Karl. DURRКатегория: Mathematical logic
Размер книги: 438 Kb
The propositional logic of Boethius
Автор: Durr K.Категория: Mathematical logic
Размер книги: 459 Kb
Handbook of Quantum Logic and Quantum Structures. Quantum logic
Автор: Kurt Engesser, Автор: Dov M. Gabbay, Автор: Daniel LehmannКатегория: Mathematical logic
Размер книги: 3.75 Mb
Handbook of quantum logic and quantum structures. Quantum structures
Автор: Kurt Engesser, Автор: Dov M. Gabbay, Автор: Daniel LehmannКатегория: Mathematical logic
Размер книги: 5.40 Mb
Proc. 2nd Scandinavian Logic Symposium
Автор: J. E. Fenstad (editor)Категория: Mathematical logic
Размер книги: 2.22 Mb
Logic colloquium '88
Автор: R. Ferro, Автор: C. Bonotto, Автор: S. Valentini, Автор: A. ZanardoКатегория: Mathematical logic
Размер книги: 2.68 Mb
Intuitionistic logic, model theory and forcing
Автор: Melvin FittingКатегория: Mathematical logic
Размер книги: 927 Kb
Fork Algebras in Algebra, Logic and Computer Science
Автор: Marcelo Fabian FriasКатегория: Mathematical logic
Размер книги: 1.01 Mb
Handbook of the history of logic. Greek, indian and arabic logic
Автор: Dov M. Gabbay, Автор: John WoodsКатегория: Mathematical logic
Размер книги: 5.22 Mb
British Logic in the Nineteenth Century, Volume 4
Автор: Dov M. Gabbay, Автор: John WoodsКатегория: Mathematical logic
Размер книги: 10.01 Mb
The Many Valued and Nonmonotonic Turn in Logic, Volume 8
Автор: Dov M. Gabbay, Автор: John WoodsКатегория: Mathematical logic
Размер книги: 6.27 Mb
Lukasiewicz's logics and prime numbers
Автор: Alexander S. KarpenkoКатегория: Mathematical logic
Размер книги: 820 Kb
Elements of mathematical logic (model theory)
Автор: G Kreisel, Автор: J L KrivineКатегория: Mathematical logic
Размер книги: 1.59 Mb
Proofs and refutations: the logic of mathematical discovery
Автор: Imre Lakatos, Автор: John Worrall, Автор: Elie ZaharКатегория: Mathematical logic
Размер книги: 1.78 Mb
Introduction to higher-order categorical logic
Автор: J. Lambek, Автор: P. J. ScottКатегория: Mathematical logic
Размер книги: 1.32 Mb
Set theory, logic, and their limitations
Автор: Moshe MachoverКатегория: Mathematical logic
Размер книги: 3.09 Mb
A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns
Автор: Piero Pagliani, Автор: Mihir ChakrabortyКатегория: Mathematical logic
Размер книги: 6.24 Mb
An Introduction to Non-Classical Logic: From If to Is
Автор: Graham PriestКатегория: Mathematical logic
Размер книги: 2.85 Mb
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.