Atención: recuerde que este es un catálogo parcial de nuestra colección.

Búsqueda por número de registro: 000101
 
LDR ·····nam##22·····5a#4500
001 000101
005 20170526131212.0
008 971218s1998####gw#a#####b####101#0#eng##
245 10 $a Logic Colloquium '95 : $b proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995 / $c Johann A. Makowsky, Elena V. Ravve (eds.).
260 ## $a Berlin : $b Springer, $c c1998.
300 ## $a xvi, 348 p. ; $c 24 cm.
440 #0 $a Lecture notes in logic ; $v 11
504 ## $a Includes bibliographical references and index.
505 0# $a Howard Becker, The number of path-components of a compact subset of $Rn$ -- Peter Cholak, Rod Downey and Richard Shore, Intervals without critical triples -- S. Barry Cooper, Beyond Gödel's theorem: Turing nonrigidity revisited -- Anuj Dawar, Types and indiscernibles in finite models -- Ivo Herzog, Model theory of modules (extended abstract) -- Wilfrid Hodges and André Nies, Noninterpretability of infinite linear orders -- I. Juhász, L. Soukup and Z. Szentmiklóssy, Combinatorial principles from adding Cohen reals -- Jan Krají\v cek, Extensions of models of PV -- James F. Lynch, Convergence laws for random graphs -- Penelope Maddy, $V=L$ and maximize -- M. Makkai, Towards a categorical foundation of mathematics -- David Marker, Strongly minimal sets and geometry -- Silvio Micali, Computationally-sound proofs -- Mati Pentus, Lambek calculus and formal languages (extended abstract) -- Ya'acov Peterzil, Zil\cprime ber's trichotomy and o-minimal structures (extended abstract) -- Michael Rathjen, The higher infinite in proof theory -- Saharon Shelah, There may be no nowhere dense ultrafilter -- Alexei P. Stolboushkin, Towards recursive model theory -- Stanley Scott Wainer, Accessible segments of the fast growing hierarchy.
510 4# $a MR, $c 99m:03003
020 ## $a 3540639942
111 2# $a Logic Colloquium $d (1995 : $c Haifa, Israel)
700 1# $a Makowsky, Johann A., $d 1948- $4 edt
700 1# $a Ravve, Elena V., $d 1963- $4 edt
710 2# $a Association of Symbolic Logic.
084 ## $a 03-06 $2 msc2000

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos