A partir de esta página puede:
Volver a la pantalla de inicio con las estanterías virtuales... | Su cuenta | Ayuda |
Temas
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
Lógica matemática. Antecedentes y fundamentos / Alberto Moreno
Título : Lógica matemática. Antecedentes y fundamentos Tipo de documento: texto impreso Autores: Alberto Moreno Editorial: Buenos Aires : EUDEBA Fecha de publicación: 1969 Número de páginas: 143 p Idioma : Español Temas: ALGEBRA
ARISTOTELES
FILOSOFIA
FILOSOFIA ESTOICA
FILOSOFIA MEDIEVAL
LOGICA
LOGICA MATEMATICA
SILOGISMOClasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71066 Lógica matemática. Antecedentes y fundamentos [texto impreso] / Alberto Moreno . - Buenos Aires : EUDEBA, 1969 . - 143 p.
Idioma : Español
Temas: ALGEBRA
ARISTOTELES
FILOSOFIA
FILOSOFIA ESTOICA
FILOSOFIA MEDIEVAL
LOGICA
LOGICA MATEMATICA
SILOGISMOClasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71066 Reserva
Reservar este documentoEjemplares
Inventario Ubicación en el estante Tipo de medio Sección Ubicación Estado 029683 160 MORL Libro Colección Biblioteca Central Disponible Lógica matemática elemental / Benson Mates
Título : Lógica matemática elemental Tipo de documento: texto impreso Autores: Benson Mates Editorial: Madrid : Tecnos Fecha de publicación: 1965 Número de páginas: 287 p Idioma : Español Temas: ALGEBRA
GRAMATICA
GRUPOS
HISTORIA
LENGUAJE
LOGICA
LOGICA MATEMATICA
SILOGISMO
TEOREMAS
TEORIA
TERMINOLOGIA
VERDADClasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71539 Lógica matemática elemental [texto impreso] / Benson Mates . - Madrid : Tecnos, 1965 . - 287 p.
Idioma : Español
Temas: ALGEBRA
GRAMATICA
GRUPOS
HISTORIA
LENGUAJE
LOGICA
LOGICA MATEMATICA
SILOGISMO
TEOREMAS
TEORIA
TERMINOLOGIA
VERDADClasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71539 Reserva
Reservar este documentoEjemplares
Inventario Ubicación en el estante Tipo de medio Sección Ubicación Estado 030196 160 MATL Libro Colección Biblioteca Central Disponible Logical studies / Hakan Törnebohm
Título : Logical studies Tipo de documento: texto impreso Autores: Hakan Törnebohm ; Ake Petzäll, Editor Editorial: Copenhagen : Ejnar Munksgaard Fecha de publicación: 1955 Número de páginas: v.1, 83 p Idioma : Inglés Temas: CALCULO
LOGICA
LOGICA MATEMATICAClasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71433 Logical studies [texto impreso] / Hakan Törnebohm ; Ake Petzäll, Editor . - Copenhagen : Ejnar Munksgaard, 1955 . - v.1, 83 p.
Idioma : Inglés
Temas: CALCULO
LOGICA
LOGICA MATEMATICAClasificación: 160 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=71433 Reserva
Reservar este documentoEjemplares
Inventario Ubicación en el estante Tipo de medio Sección Ubicación Estado 029602 160 TORL Libro Colección Biblioteca Central Disponible Los símbolos de la lógica matemática / Robert Feys
Título : Los símbolos de la lógica matemática Tipo de documento: texto impreso Autores: Robert Feys ; Frederic B. Fitch Editorial: Madrid : Ediciones Paraninfo Fecha de publicación: 1980 Número de páginas: 189 p ISBN/ISSN/DL: 978-84-283-1029-1 Idioma : Español Temas: FILOSOFIA
LOGICA
LOGICA MATEMATICAClasificación: 511.3 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=11153 Los símbolos de la lógica matemática [texto impreso] / Robert Feys ; Frederic B. Fitch . - Madrid : Ediciones Paraninfo, 1980 . - 189 p.
ISBN : 978-84-283-1029-1
Idioma : Español
Temas: FILOSOFIA
LOGICA
LOGICA MATEMATICAClasificación: 511.3 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=11153 Reserva
Reservar este documentoEjemplares
Inventario Ubicación en el estante Tipo de medio Sección Ubicación Estado 029751 511.3 FEYs Libro Colección Biblioteca Central Disponible La máquina y las demostraciones / Gabriele Lolli
Título : La máquina y las demostraciones : matemáticas, lógica e informática Tipo de documento: texto impreso Autores: Gabriele Lolli Editorial: Madrid : Alianza Fecha de publicación: 1987 Número de páginas: 131 p Idioma : Español Temas: DEDUCCION
INFORMATICA
LOGICA
LOGICA MATEMATICA
MATEMATICASClasificación: 511.3 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=70904 La máquina y las demostraciones : matemáticas, lógica e informática [texto impreso] / Gabriele Lolli . - Madrid : Alianza, 1987 . - 131 p.
Idioma : Español
Temas: DEDUCCION
INFORMATICA
LOGICA
LOGICA MATEMATICA
MATEMATICASClasificación: 511.3 Enlace permanente a este registro: https://opac.um.edu.uy/index.php?lvl=notice_display&id=70904 Reserva
Reservar este documentoEjemplares
Inventario Ubicación en el estante Tipo de medio Sección Ubicación Estado 029537 511.3 LOLm Libro Colección Biblioteca Central Disponible Matemática elemental moderna. Estructura y método. Lógica y conjuntos. Aritmética. Algebra. Geometría / César A. Trejo
PermalinkMetalogica. Introducción a la metateoría de la lógica clásica de primer orden / Geoffrey Hunter
PermalinkMetamatemática / Paul Lorenzen
PermalinkNociones sobre las gramáticas formales / Maurice Gross
PermalinkObras completas / Kurt Gödel
PermalinkOn formally undecidable propositions of principia mathematica and related systems / Kurt Gödel
PermalinkPing Pong... Gonzalo Frasca en Hacer empresa, Año 24, n.3 (2021)
PermalinkPrincipia mathematica. Hasta el *56 / Alfred North Whitehead
PermalinkProblemas de filosofía / María Lía Berisso
PermalinkQuantification theory / J.A. Faris
PermalinkLa revolución en filosofía / Alfred Jules Ayer
PermalinkLe rôle médiateur de la logique / Herman Meyer
PermalinkRozprawy matematyczne / Andrezej Mostowski
PermalinkTeoría analítica del conocimiento / Arthur Pap
PermalinkTeoría de los conjuntos y lógica / Abraham A. Fraenkel
PermalinkThe development of mathematical logic / P.H. Nidditch
PermalinkTheory of formal systems / Raymond M. Smullyan
PermalinkTruth-functional logic / J.A. Faris
PermalinkUltimos pensamientos / Jules Henry Poincare
Permalink