Lógica simbólica
Shranjeno v:
| Glavni avtor: | Hegenberg, Leónidas (Author) |
|---|---|
| Format: | Knjiga |
| Jezik: | portugalščina |
| Izdano: |
Sao Paulo
Herder
1966
|
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
Podobne knjige/članki
Ejercicios de lógica
od: Moreno, Alberto
Izdano: (1970)
od: Moreno, Alberto
Izdano: (1970)
Tableau systems for first order number theory and certain higher order theories
od: Toledo, Sue
Izdano: (1975)
od: Toledo, Sue
Izdano: (1975)
Introducción al simbolismo lógico
od: Bosch, Jorge E
Izdano: (1981)
od: Bosch, Jorge E
Izdano: (1981)
Lógica simbólica: una breve introducción
od: Gómez Calderón, Javier
Izdano: (1979)
od: Gómez Calderón, Javier
Izdano: (1979)
Lógica simbólica para informáticos
od: Iranzo, Pascual Julián
Izdano: (2005)
od: Iranzo, Pascual Julián
Izdano: (2005)
Term logic with choice operator
od: Hermes, Hans
Izdano: (1970)
od: Hermes, Hans
Izdano: (1970)
Introduction a la logique mathématique
od: Novikov, P. S. (Petr Sergeevich)
Izdano: (1964)
od: Novikov, P. S. (Petr Sergeevich)
Izdano: (1964)
Büchi's Monadic second order successor arithmetic
od: Siefkes, Dirk
Izdano: (1970)
od: Siefkes, Dirk
Izdano: (1970)
La lógica simbólica
od: Agazzi, Evandro
Izdano: (1986)
od: Agazzi, Evandro
Izdano: (1986)
Lógica para informáticos
od: Farré Cirera, Rafel, et al.
Izdano: (2012)
od: Farré Cirera, Rafel, et al.
Izdano: (2012)
The grammar of mathematics
od: Durst, Lincoln K
Izdano: (1969)
od: Durst, Lincoln K
Izdano: (1969)
Introduction to mathematical logic
od: Mendelson, Elliott
Izdano: (1997)
od: Mendelson, Elliott
Izdano: (1997)
Lógica, lingüística y matemáticas
od: Serrano, Sebastián
Izdano: (1977)
od: Serrano, Sebastián
Izdano: (1977)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
od: Ledesma, Luis de
Izdano: (2010)
od: Ledesma, Luis de
Izdano: (2010)
Introduction to mathematical logic
od: Mendelson, Elliott
Izdano: (1964)
od: Mendelson, Elliott
Izdano: (1964)
Implicazione, endometria, universo del discorso
od: Spisani, Franco
Izdano: (1977)
od: Spisani, Franco
Izdano: (1977)
Pruebas y refutaciones: la lógica del descubrimiento matemático
od: Lakatos, Imre
Izdano: (1982)
od: Lakatos, Imre
Izdano: (1982)
Logic, computers, and sets
od: Wang, Hao
Izdano: (1970)
od: Wang, Hao
Izdano: (1970)
Introducción al simbolismo lógico
od: Bosch, Jorge E
Izdano: (1970)
od: Bosch, Jorge E
Izdano: (1970)
Popular lectures on mathematical logic
od: Wang, Hao
Izdano: (1993)
od: Wang, Hao
Izdano: (1993)
Logic colloquium
od: Parikh, Rohit
Izdano: (1975)
od: Parikh, Rohit
Izdano: (1975)
Théorie métamathématique des idéaux
od: Robinson, Abraham
Izdano: (1955)
od: Robinson, Abraham
Izdano: (1955)
Studies in foundations and combinatorics
od: Rota, Gian-Carlo
Izdano: (1978)
od: Rota, Gian-Carlo
Izdano: (1978)
Lógica matemática.
od: Ferrater Mora, José
Izdano: (1962)
od: Ferrater Mora, José
Izdano: (1962)
Proceedings of the Summer School in Logic Leeds, 1967
Izdano: (1968)
Izdano: (1968)
A precis of mathematical logic
od: Bochénski, Innocentius M
Izdano: (1959)
od: Bochénski, Innocentius M
Izdano: (1959)
La logique à l'école
od: Glaymann, Maurice, et al.
Izdano: (1972)
od: Glaymann, Maurice, et al.
Izdano: (1972)
Lógica formal: su alcance y sus límites.
od: Jeffrey, Richard C.
Izdano: (1986)
od: Jeffrey, Richard C.
Izdano: (1986)
Sur les algèbres de Hilbert
od: Diego, Antonio
Izdano: (1966)
od: Diego, Antonio
Izdano: (1966)
La structure algébrique des théories mathématiques
od: Henkin, Leon
Izdano: (1956)
od: Henkin, Leon
Izdano: (1956)
An introduction to Hilbert space and quantum logic
od: Cohen, David W
Izdano: (1989)
od: Cohen, David W
Izdano: (1989)
Lógica combinatoria
od: Curry, Haskell B, et al.
Izdano: (1967)
od: Curry, Haskell B, et al.
Izdano: (1967)
The logical basis for computer programming
od: Manna, Zohar, et al.
Izdano: (1985)
od: Manna, Zohar, et al.
Izdano: (1985)
Eléments de logique mathématique: théorie des modèles
od: Kreisel, G, et al.
Izdano: (1966)
od: Kreisel, G, et al.
Izdano: (1966)
Los fundamentos de la matemática y otros ensayos sobre lógica
od: Ramsey, Frank Plumpton
Izdano: (1968)
od: Ramsey, Frank Plumpton
Izdano: (1968)
Algebra and logic
od: Crossley, J. N
Izdano: (1975)
od: Crossley, J. N
Izdano: (1975)
Teaching mathematical reasoning in secondary school classrooms
od: Brodie, Karin
Izdano: (2010)
od: Brodie, Karin
Izdano: (2010)
La Teoría Lógica y sus Interpretaciones. Estudios sobre Lógica Aristotélica.
od: Correia Machuca, Manuel
Izdano: (2007)
od: Correia Machuca, Manuel
Izdano: (2007)
Set theory and logic
od: Stoll, Robert R
Izdano: (1963)
od: Stoll, Robert R
Izdano: (1963)
Methods in mathematical logic
od: Prisco, C. A. di
Izdano: (1985)
od: Prisco, C. A. di
Izdano: (1985)
Podobne knjige/članki
-
Ejercicios de lógica
od: Moreno, Alberto
Izdano: (1970) -
Tableau systems for first order number theory and certain higher order theories
od: Toledo, Sue
Izdano: (1975) -
Introducción al simbolismo lógico
od: Bosch, Jorge E
Izdano: (1981) -
Lógica simbólica: una breve introducción
od: Gómez Calderón, Javier
Izdano: (1979) -
Lógica simbólica para informáticos
od: Iranzo, Pascual Julián
Izdano: (2005)