Mathematics\\LogicRSS

نتایج 1 تا 20 از کل 2687 نتیجه

Concepts of Proof in Mathematics, Philosophy, and Compu...

Concepts of Proof in Mathematics, Philosophy, and Computer Science

نویسندهDieter Probst, Peter Schuster (eds)
زبانEnglish

Recursion Theory: Computational Aspects of Definability

Recursion Theory: Computational Aspects of Definability

نویسندهChi Tat Chong, Liang Yu
زبانEnglish

Universality in Set Theories: A Study in Formal Ontolog...

Universality in Set Theories: A Study in Formal Ontology

نویسندهManuel Bremer
زبانEnglish

A Concise Introduction To Mathematical Logic

A Concise Introduction To Mathematical Logic

نویسندهWolfgang Rautenberg
زبانEnglish

Handbook of Logic in Computer Science. Volume 1: Backgr...

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

نویسندهSamson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds....
زبانEnglish

Reflections on the Foundations of Mathematics: Essays i...

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

نویسندهWilfried Sieg, Richard Sommer, Carolyn Talcott
زبانEnglish

Nonstandard Methods and Applications in Mathematics

Nonstandard Methods and Applications in Mathematics

نویسندهNigel J. Cutland, Mauro Di Nasso, David A. Ross
زبانEnglish

Logicism Renewed: Logical Foundations for Mathematics a...

Logicism Renewed: Logical Foundations for Mathematics and Computer Science

نویسندهPaul C. Gilmore
زبانEnglish

Reverse Mathematics 2001

Reverse Mathematics 2001

نویسندهStephen G. Simpson (ed.)
زبانEnglish

Model Theory of Stochastic Processes

Model Theory of Stochastic Processes

نویسندهSergio Fajardo, H. Jerome Keisler
زبانEnglish

Handbook of Logic in Computer Science. Volume 1: Backgr...

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

نویسندهSamson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds....
زبانEnglish

Completeness and definability: Applications of the Ehre...

Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]

نویسندهKees Doets
زبانEnglish

Completeness and definability: Applications of the Ehre...

Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]

نویسندهKees Doets
زبانEnglish

Algebraic Relativization and Arrow Logic [PhD Thesis]

Algebraic Relativization and Arrow Logic [PhD Thesis]

نویسندهMaarten Marx
زبانEnglish

Algebraic Relativization and Arrow Logic [PhD Thesis]

Algebraic Relativization and Arrow Logic [PhD Thesis]

نویسندهMaarten Marx
زبانEnglish

Extending Modal Logic [PhD Thesis]

Extending Modal Logic [PhD Thesis]

نویسندهMaarten de Rijke
زبانEnglish

Extending Modal Logic [PhD Thesis]

Extending Modal Logic [PhD Thesis]

نویسندهMaarten de Rijke
زبانEnglish

Algebra, Logic and Combinatorics

Algebra, Logic and Combinatorics

نویسندهS. Bullett and T. Fearn and F. Smith (editors)
زبانEnglish

An Essay in Classical Modal Logic

An Essay in Classical Modal Logic

نویسندهKrister Segerberg
زبانEnglish

An Essay in Classical Modal Logic

An Essay in Classical Modal Logic

نویسندهKrister Segerberg
زبانEnglish