Open problems in topology II

DE-1046
DE-1047
Volltext

Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005

Inhaltsangabe: “… Goncharov -- Independence for types in algebraically closed valued fields / Dierdre Haskell -- Simple groups of finite Morley rank / Eric Jaligot -- Towards a logic of type-free modality and truth / Hannes Leitgeb -- Structural analysis of Aronszajn trees / Justin Tatch Moore -- Proof analysis in non-classical logics / Sara Negri -- Paul Bernays' later philosophy of mathematics / Charles Parsons -- Proofnets for S5 : sequents and circuits for modal logic / Greg Restall -- Recursion on the partial continuous functionals / Helmut Schwichtenberg -- A transactional approach to the logic of truth / Michael Sheard -- On some problems in computable topology / Dieter Spreen -- Monotone inductive definitions and consistency of New Foundations / Sergei Tupailo …”
DE-12
DE-92
URL des Erstveröffentlichers

Logic colloquium 2005 proceedings of the Annaul European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, july 28 - august 3, 2005

Inhaltsverzeichnis

Proceedings of the International Congress of Mathematicians Hyderabad, August 19 - 27, 2010

Inhaltsverzeichnis

Când se vor sătura românii de propagandă? eseuri incorecte politic von Hentea, Călin 1958-

Inhaltsverzeichnis
Literaturverzeichnis
Abstract
Abstract
Register // Personenregister

Divljina s pečatom socioekološki sustav brodske Posavine u 18. stoljeću von Jakopčić, Luka

Inhaltsverzeichnis
Literaturverzeichnis
Register // Personenregister
Register // Ortsregister

Ukraina i historien - från äldsta tid till 2023 von Johnsson, Peter 1949-

Inhaltsverzeichnis
Literaturverzeichnis
Register // Personenregister

Hrvatska politička emigracija - HSS von Tepeš, Ivan

Inhaltsverzeichnis
Register // Personenregister
Literaturverzeichnis

Poletko pana Fogga von Michalski, Dariusz

Register // Personenregister
Inhaltsverzeichnis