Tableau systems for first order number theory and certain higher order theories
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Berlín
Springer-Verlag
1975
|
| Serier: | Lecture Notes in Mathematics, 447
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Lógica simbólica
af: Hegenberg, Leónidas
Udgivet: (1966)
af: Hegenberg, Leónidas
Udgivet: (1966)
Büchi's Monadic second order successor arithmetic
af: Siefkes, Dirk
Udgivet: (1970)
af: Siefkes, Dirk
Udgivet: (1970)
Introduction a la logique mathématique
af: Novikov, P. S. (Petr Sergeevich)
Udgivet: (1964)
af: Novikov, P. S. (Petr Sergeevich)
Udgivet: (1964)
Term logic with choice operator
af: Hermes, Hans
Udgivet: (1970)
af: Hermes, Hans
Udgivet: (1970)
Introduction to mathematical logic
af: Mendelson, Elliott
Udgivet: (1997)
af: Mendelson, Elliott
Udgivet: (1997)
Introducción al simbolismo lógico
af: Bosch, Jorge E
Udgivet: (1970)
af: Bosch, Jorge E
Udgivet: (1970)
Popular lectures on mathematical logic
af: Wang, Hao
Udgivet: (1993)
af: Wang, Hao
Udgivet: (1993)
Lógica simbólica para informáticos
af: Iranzo, Pascual Julián
Udgivet: (2005)
af: Iranzo, Pascual Julián
Udgivet: (2005)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
af: Ledesma, Luis de
Udgivet: (2010)
af: Ledesma, Luis de
Udgivet: (2010)
Logic colloquium
af: Parikh, Rohit
Udgivet: (1975)
af: Parikh, Rohit
Udgivet: (1975)
Lógica para informáticos
af: Farré Cirera, Rafel, et al.
Udgivet: (2012)
af: Farré Cirera, Rafel, et al.
Udgivet: (2012)
Introducción al simbolismo lógico
af: Bosch, Jorge E
Udgivet: (1981)
af: Bosch, Jorge E
Udgivet: (1981)
Proceedings of the Summer School in Logic Leeds, 1967
Udgivet: (1968)
Udgivet: (1968)
Eléments de logique mathématique: théorie des modèles
af: Kreisel, G, et al.
Udgivet: (1966)
af: Kreisel, G, et al.
Udgivet: (1966)
La structure algébrique des théories mathématiques
af: Henkin, Leon
Udgivet: (1956)
af: Henkin, Leon
Udgivet: (1956)
Pruebas y refutaciones: la lógica del descubrimiento matemático
af: Lakatos, Imre
Udgivet: (1982)
af: Lakatos, Imre
Udgivet: (1982)
Logic, computers, and sets
af: Wang, Hao
Udgivet: (1970)
af: Wang, Hao
Udgivet: (1970)
La logique à l'école
af: Glaymann, Maurice, et al.
Udgivet: (1972)
af: Glaymann, Maurice, et al.
Udgivet: (1972)
An introduction to Hilbert space and quantum logic
af: Cohen, David W
Udgivet: (1989)
af: Cohen, David W
Udgivet: (1989)
Algebra and logic
af: Crossley, J. N
Udgivet: (1975)
af: Crossley, J. N
Udgivet: (1975)
Sur les algèbres de Hilbert
af: Diego, Antonio
Udgivet: (1966)
af: Diego, Antonio
Udgivet: (1966)
Lógica matemática.
af: Ferrater Mora, José
Udgivet: (1962)
af: Ferrater Mora, José
Udgivet: (1962)
The logical basis for computer programming
af: Manna, Zohar, et al.
Udgivet: (1985)
af: Manna, Zohar, et al.
Udgivet: (1985)
Introduction to mathematical logic
af: Mendelson, Elliott
Udgivet: (1964)
af: Mendelson, Elliott
Udgivet: (1964)
Lógica formal: su alcance y sus límites.
af: Jeffrey, Richard C.
Udgivet: (1986)
af: Jeffrey, Richard C.
Udgivet: (1986)
La lógica simbólica
af: Agazzi, Evandro
Udgivet: (1986)
af: Agazzi, Evandro
Udgivet: (1986)
Théorie métamathématique des idéaux
af: Robinson, Abraham
Udgivet: (1955)
af: Robinson, Abraham
Udgivet: (1955)
The grammar of mathematics
af: Durst, Lincoln K
Udgivet: (1969)
af: Durst, Lincoln K
Udgivet: (1969)
Ejercicios de lógica
af: Moreno, Alberto
Udgivet: (1970)
af: Moreno, Alberto
Udgivet: (1970)
First-order logic
af: Smullyan, Raymond M
Udgivet: (1995)
af: Smullyan, Raymond M
Udgivet: (1995)
First-order logic
af: Smullyan, Raymond M
Udgivet: (1968)
af: Smullyan, Raymond M
Udgivet: (1968)
Teaching mathematical reasoning in secondary school classrooms
af: Brodie, Karin
Udgivet: (2010)
af: Brodie, Karin
Udgivet: (2010)
Methods in mathematical logic
af: Prisco, C. A. di
Udgivet: (1985)
af: Prisco, C. A. di
Udgivet: (1985)
Lógica simbólica: una breve introducción
af: Gómez Calderón, Javier
Udgivet: (1979)
af: Gómez Calderón, Javier
Udgivet: (1979)
First-order logic
af: Smullyan, Raymond M
Udgivet: (1968)
af: Smullyan, Raymond M
Udgivet: (1968)
Studies in foundations and combinatorics
af: Rota, Gian-Carlo
Udgivet: (1978)
af: Rota, Gian-Carlo
Udgivet: (1978)
A precis of mathematical logic
af: Bochénski, Innocentius M
Udgivet: (1959)
af: Bochénski, Innocentius M
Udgivet: (1959)
Lógica, lingüística y matemáticas
af: Serrano, Sebastián
Udgivet: (1977)
af: Serrano, Sebastián
Udgivet: (1977)
Mathematical Logic
af: Monk, James Donald
Udgivet: (1976)
af: Monk, James Donald
Udgivet: (1976)
Los fundamentos de la matemática y otros ensayos sobre lógica
af: Ramsey, Frank Plumpton
Udgivet: (1968)
af: Ramsey, Frank Plumpton
Udgivet: (1968)