Mathematics\\LogicRSS

Concepts of Proof in Mathematics, Philosophy, and Computer Science

نویسندهDieter Probst, Peter Schuster (eds)
زبانEnglish
Recursion Theory: Computational Aspects of Definability

نویسندهChi Tat Chong, Liang Yu
زبانEnglish
Universality in Set Theories: A Study in Formal Ontology

نویسندهManuel Bremer
زبانEnglish
A Concise Introduction To Mathematical Logic

نویسندهWolfgang Rautenberg
زبانEnglish
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 in Honor of Solomon Feferman

نویسندهWilfried Sieg, Richard Sommer, Carolyn Talcott
زبانEnglish
Nonstandard Methods and Applications in Mathematics

نویسندهNigel J. Cutland, Mauro Di Nasso, David A. Ross
زبانEnglish
Logicism Renewed: Logical Foundations for Mathematics and Computer Science

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

نویسندهStephen G. Simpson (ed.)
زبانEnglish
Model Theory of Stochastic Processes

نویسندهSergio Fajardo, H. Jerome Keisler
زبانEnglish
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 Ehrenfeucht game in second-order and intensional logic [PhD Thesis]

نویسندهKees Doets
زبانEnglish
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]

نویسندهMaarten Marx
زبانEnglish
Algebraic Relativization and Arrow Logic [PhD Thesis]

نویسندهMaarten Marx
زبانEnglish
Extending Modal Logic [PhD Thesis]

نویسندهMaarten de Rijke
زبانEnglish
Extending Modal Logic [PhD Thesis]

نویسندهMaarten de Rijke
زبانEnglish
Algebra, Logic and Combinatorics

نویسندهS. Bullett and T. Fearn and F. Smith (editors)
زبانEnglish
An Essay in Classical Modal Logic

نویسندهKrister Segerberg
زبانEnglish
An Essay in Classical Modal Logic

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