Towards Logical Foundations for Randomized Computability
Mathematical Logic Webinar, por Paolo Pistone (Università di Bologna).
Lógica
Introduction to Model Theory and its relation to Algebraic Geometry
Mathematical Logic Webinar, por Guilherme Velez (Ciências ULisboa).
Halpern and Mann iterative schemas
Mathematical Logic Webinar, por Pedro Pinto (Technische Universität Darmstadt).
Numeral completeness of S^1_2: Part B
Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).
Numeral completeness of S^1_2: Part A
Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).
The role of functions in Frege’s lingua characterica
Mathematical Logic Webinar, por José Mestre (Stirling/St Andrews and LanCog - CFUL).
Frege’s Begriffsschrift and second-order logic
Seminário de Lógica Matemática, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).
On proper direct image in o-minimal expansions of groups
Mathematical Logic Webinar, por Mário Edmundo (Ciências ULisboa, CMAFcIO).
Decidability of Logical Theories and their Combination
Mathematical Logic Webinar, por João Rasga e Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa e Instituto de Telecomunicações).
A Theory of Marginal and Large Difference
Seminário de Lógica Matemática, por Bruno Jacinto (Universidade de Lisboa).
Páginas
- « primeira
- ‹ anterior
- …
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- …
- seguinte ›
- última »