Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dynamic Formal Epistemology [recurso electrónico] / edited by Patrick Girard, Olivier Roy, Mathieu Marion. por Girard, Patrick [editor.] | Roy, Olivier [editor.] | Marion, Mathieu [editor.] | SpringerLink (Online service). Series Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 351Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: BD143 -237.
|
|
|
|
|
|
Proof, Computation and Agency [recurso electrónico] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. por van Benthem, Johan [editor.] | Gupta, Amitabha [editor.] | Parikh, Rohit [editor.] | SpringerLink (Online service). Series Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|