Logic Colloquium 2005 - Dimitracopoulos Costas; Newelski Ludomir; Normann Dag; Steel John R. | Libro Cambridge University Press 12/2007 - HOEPLI.it


home libri books ebook dvd e film top ten sconti 0 Carrello


Torna Indietro

dimitracopoulos costas; newelski ludomir; normann dag; steel john r. - logic colloquium 2005

Logic Colloquium 2005

; ; ;




Disponibilità: Momentaneamente non ordinabile
A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.


PREZZO
123,98 €
NICEPRICE
117,78 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 12/2007





Note Editore

The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.




Sommario

1. Thread algebra and risk assessment services Jan A. Bergstra, Inge Bethke and Alban Ponse; 2. Covering definable manifolds by open definable subsets Mário J. Edmundo; 3. Isomorphisms and definable relations on computable models Sergei S. Goncharov; 4. Independence for types in algebraically closed valued fields Deirdre Haskell; 5. Simple groups of finite Morley rank Eric Jaligot; 6. Towards a logic of type-free modality and truth Hannes Leitgeb; 7. Structural analysis of Aronszajn trees Justin Tatch Moore; 8. Proof analysis in non-classical logics Sara Negri; 9. Paul Bernays' later philosophy of mathematics Charles Parsons; 10. Proofnets for S5: sequents and circuits for modal logic Greg Restall; 11. Recursion on the partial continuous functionals Helmut Schwichtenberg; 12. A transactional approach to the logic of truth Michael Sheard; 13. On some problems in computable topology Dieter Spreen; 14. Monotone inductive definitions and consistency of New Foundations Sergei Tupailo.




Prefazione

Highlights of this 2007 volume from the Annual European Meeting of the ASL include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.







Altre Informazioni

ISBN:

9780521884259

Condizione: Nuovo
Collana: Lecture Notes in Logic
Dimensioni: 229 x 17 x 152 mm Ø 506 gr
Formato: Copertina rigida
Illustration Notes:3 tables
Pagine Arabe: 290






Utilizziamo i cookie di profilazione, anche di terze parti, per migliorare la navigazione, per fornire servizi e proporti pubblicità in linea con le tue preferenze. Se vuoi saperne di più o negare il consenso a tutti o ad alcuni cookie clicca qui. Chiudendo questo banner o proseguendo nella navigazione acconsenti all’uso dei cookie.

X