Refinar su búsqueda

Su búsqueda retornó 57 resultados.

Ordenar
Resultados
Additive Number Theory [recurso electrónico] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky.

por Chudnovsky, David [editor.] | Chudnovsky, Gregory [editor.] | SpringerLink (Online service).

Edición: 1.Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA241 -247.5.

Advanced Lukasiewicz calculus and MV-algebras [recurso electrónico] / by D. Mundici.

por Mundici, D [author.] | SpringerLink (Online service).

Series Trends in Logic ; 35Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Apartness and Uniformity [recurso electrónico] : A Constructive Development / by Douglas S. Bridges, Luminita Simona Vîta.

por Bridges, Douglas S [author.] | Vîta, Luminita Simona [author.] | SpringerLink (Online service).

Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.

Aspects of Mathematical Logic [recurso electrónico] / edited by E. Casari.

por Casari, E [editor.] | SpringerLink (Online service).

Series C.I.M.E. Summer Schools ; 48Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Banach Spaces and Descriptive Set Theory: Selected Topics [recurso electrónico] / by Pandelis Dodos.

por Dodos, Pandelis [author.] | SpringerLink (Online service).

Series Lecture Notes in Mathematics ; 1993Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA319 -329.9.

A beginner's guide to mathematical logic / Raymond M. Smullyan.

por Smullyan, Raymond M.

Series Dover books on mathematicsEdición: 1st ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: Mineola, New York : Dover Publications, Inc., 2014Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Tijuana (1) Signatura topográfica: QA9.A1 S58 2014.

Cognitive Reasoning [recurso electrónico] : A Formal Approach / by Tamás Gergely, Oleg M. Anshakov.

por Gergely, Tamás [author.] | Anshakov, Oleg M [author.] | SpringerLink (Online service).

Series Cognitive TechnologiesOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

The Colorado Mathematical Olympiad and Further Explorations [recurso electrónico] : From the Mountains of Colorado to the Peaks of Mathematics / by Alexander Soifer.

por Soifer, Alexander [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA150 -272.

A Concise Introduction to Mathematical Logic [recurso electrónico] / by Wolfgang Rautenberg.

por Rautenberg, Wolfgang [author.] | SpringerLink (Online service).

Series UniversitextEdición: 3.Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Conditionals and Modularity in General Logics [recurso electrónico] / by Dov M. Gabbay, Karl Schlechta.

por Gabbay, Dov M [author.] | Schlechta, Karl [author.] | SpringerLink (Online service).

Series Cognitive TechnologiesOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.

A Course in Mathematical Logic for Mathematicians [recurso electrónico] / by Yu. I. Manin.

por Manin, Yu. I [author.] | SpringerLink (Online service).

Series Graduate Texts in Mathematics ; 53Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J. Winston Crawley.

por Ensley, Douglas E | Crawley, J. Winston.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Hoboken, NJ : Wiley, c2006Acceso en línea: Table of contents only | Publisher description Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA9.25 E58 2006, Valle Dorado (1) Signatura topográfica: QA9.25 E58 2006.

Dual Tableaux: Foundations, Methodology, Case Studies [recurso electrónico] / by Ewa Orlowska, Joanna Golinska Pilarek.

por Orlowska, Ewa [author.] | Golinska Pilarek, Joanna [author.] | SpringerLink (Online service).

Series Trends in Logic ; 33Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Ernst Zermelo - Collected Works/Gesammelte Werke [recurso electrónico] : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori.

por Zermelo, Ernst [author.] | Ebbinghaus, Heinz-Dieter [editor.] | Fraser, Craig G [editor.] | Kanamori, Akihiro [editor.] | SpringerLink (Online service).

Series Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

Es Dios un matemático? / Mario Livio.

por Livio, Mario, 1945-.

Edición: 1a ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: General; Detalles de publicación: Barcelona : Ariel, 2011Disponibilidad: Ítems disponibles para préstamo: Facultad de Pedagogía e Innovación Educativa (1) Signatura topográfica: QA8.4 L5818 2011, Biblioteca Central Mexicali (1) Signatura topográfica: QA8.4 L5818 2011.

Es Dios un matemático? / Mario Livio.

por Livio, Mario, 1945-.

Edición: 1a ed.Tipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: General; Detalles de publicación: Barcelona : Ariel, 2009Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Administrativas (1) Signatura topográfica: QA8.4 L5818 2009, Biblioteca Central Mexicali (1) Signatura topográfica: QA8.4 L5818 2009.

Foundational Theories of Classical and Constructive Mathematics [recurso electrónico] / edited by Giovanni Sommaruga.

por Sommaruga, Giovanni [editor.] | SpringerLink (Online service).

Series The Western Ontario Series in Philosophy of Science ; 76Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.

From Boolean Logic to Switching Circuits and Automata [recurso electrónico] : Towards Modern Information Technology / by Radomir S. Stankovic, Jaakko Astola.

por Stankovic, Radomir S [author.] | Astola, Jaakko [author.] | SpringerLink (Online service).

Series Studies in Computational Intelligence ; 335Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA329 -348.

From Objects to Diagrams for Ranges of Functors [recurso electrónico] / by Pierre Gillibert, Friedrich Wehrung.

por Gillibert, Pierre [author.] | Wehrung, Friedrich [author.] | SpringerLink (Online service).

Series Lecture Notes in Mathematics ; 2029Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA150 -272.

Games, Norms and Reasons [recurso electrónico] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Eric Pacuit.

por van Benthem, Johan [editor.] | Gupta, Amitabha [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service).

Series Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 353Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: BC1 -199.

Páginas

Con tecnología Koha