Proceedings of the Summer School in Logic Leeds, 1967
I tiakina i:
| Kaituhi rangatōpū: | NATO (Author) |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi Tiamana |
| I whakaputaina: |
Berlín
Springer-Verlag
1968
|
| Rangatū: | Lecture Notes in Mathematics, 70
|
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite
Term logic with choice operator
mā: Hermes, Hans
I whakaputaina: (1970)
mā: Hermes, Hans
I whakaputaina: (1970)
Tableau systems for first order number theory and certain higher order theories
mā: Toledo, Sue
I whakaputaina: (1975)
mā: Toledo, Sue
I whakaputaina: (1975)
A precis of mathematical logic
mā: Bochénski, Innocentius M
I whakaputaina: (1959)
mā: Bochénski, Innocentius M
I whakaputaina: (1959)
Los principios de la matemática
mā: Russell, Bertrand
I whakaputaina: (1948)
mā: Russell, Bertrand
I whakaputaina: (1948)
Büchi's Monadic second order successor arithmetic
mā: Siefkes, Dirk
I whakaputaina: (1970)
mā: Siefkes, Dirk
I whakaputaina: (1970)
Lógica simbólica
mā: Hegenberg, Leónidas
I whakaputaina: (1966)
mā: Hegenberg, Leónidas
I whakaputaina: (1966)
Logic, computers, and sets
mā: Wang, Hao
I whakaputaina: (1970)
mā: Wang, Hao
I whakaputaina: (1970)
Estructuras matemáticas finitas
mā: Kemeny, John G, me ētahi atu.
I whakaputaina: (1970)
mā: Kemeny, John G, me ētahi atu.
I whakaputaina: (1970)
Theory construction: from verbal to mathematical formulations
mā: Blalock, Hubert M
I whakaputaina: (1969)
mā: Blalock, Hubert M
I whakaputaina: (1969)
Cálculo de varias variables: cuestiones y ejercicios resueltos
mā: Besada Moráis, Manuel, me ētahi atu.
I whakaputaina: (2001)
mā: Besada Moráis, Manuel, me ētahi atu.
I whakaputaina: (2001)
Mathematical modeling
mā: Meerschaert, Mark M.
I whakaputaina: (2013)
mā: Meerschaert, Mark M.
I whakaputaina: (2013)
Mathematical modeling: models, analysis and applications
mā: Banerjee, Sandip
I whakaputaina: (2014)
mā: Banerjee, Sandip
I whakaputaina: (2014)
Principles of intuitionism: lectures presented at the summer conference on Intuitism and Proof theory
mā: Troelstra, A. S
I whakaputaina: (1969)
mā: Troelstra, A. S
I whakaputaina: (1969)
Conference in Mathematical logic, London 70
mā: Hodges, Wilfrid
I whakaputaina: (1972)
mā: Hodges, Wilfrid
I whakaputaina: (1972)
Introduction to logic
mā: Suppes, Patrick
I whakaputaina: (1957)
mā: Suppes, Patrick
I whakaputaina: (1957)
First order categorial logic: model-theoretical methods in theory of topoi and related categories
mā: Makkai, Michael, me ētahi atu.
I whakaputaina: (1977)
mā: Makkai, Michael, me ētahi atu.
I whakaputaina: (1977)
Mathematical models in agriculture: quantitative methods for the plant, animal and ecological sciences
mā: Thornley, J. H. M, me ētahi atu.
I whakaputaina: (2007)
mā: Thornley, J. H. M, me ētahi atu.
I whakaputaina: (2007)
Fundamentos de matemática universitaria
mā: Valenzuela Tapia, Pedro H
I whakaputaina: (2006)
mā: Valenzuela Tapia, Pedro H
I whakaputaina: (2006)
Factorizing the classical inequalities
mā: Bennett, Grahame
I whakaputaina: (1996)
mā: Bennett, Grahame
I whakaputaina: (1996)
Théorie métamathématique des idéaux
mā: Robinson, Abraham
I whakaputaina: (1955)
mā: Robinson, Abraham
I whakaputaina: (1955)
First-order logic
mā: Smullyan, Raymond M
I whakaputaina: (1995)
mā: Smullyan, Raymond M
I whakaputaina: (1995)
First-order logic
mā: Smullyan, Raymond M
I whakaputaina: (1968)
mā: Smullyan, Raymond M
I whakaputaina: (1968)
Matemática discreta y lógica
mā: Grassmann, Winfried Karl, me ētahi atu.
I whakaputaina: (1997)
mā: Grassmann, Winfried Karl, me ētahi atu.
I whakaputaina: (1997)
Introduction to mathematical logic
mā: Mendelson, Elliott
I whakaputaina: (1997)
mā: Mendelson, Elliott
I whakaputaina: (1997)
Geostatistics: modeling spatial uncertainty
mā: Chilès, Jean-Paul, me ētahi atu.
I whakaputaina: (2012)
mā: Chilès, Jean-Paul, me ētahi atu.
I whakaputaina: (2012)
Geostatistics: modeling spatial uncertainty
mā: Chilès, Jean-Paul, me ētahi atu.
I whakaputaina: (1999)
mā: Chilès, Jean-Paul, me ētahi atu.
I whakaputaina: (1999)
Cálculo diferencial para administración y ciencias sociales: un enfoque constructivista mediante la reflexión y la interacción
mā: Galván Sánchez, Delia Aurora, me ētahi atu.
I whakaputaina: (2005)
mā: Galván Sánchez, Delia Aurora, me ētahi atu.
I whakaputaina: (2005)
Introduction to mathematical logic
mā: Mendelson, Elliott
I whakaputaina: (1964)
mā: Mendelson, Elliott
I whakaputaina: (1964)
Basic mathematics
mā: Lang, Serge
I whakaputaina: (1971)
mā: Lang, Serge
I whakaputaina: (1971)
Introduction a la logique mathématique
mā: Novikov, P. S. (Petr Sergeevich)
I whakaputaina: (1964)
mā: Novikov, P. S. (Petr Sergeevich)
I whakaputaina: (1964)
Lectures on p-Adic L-Functions
mā: Iwasawa, Kenkichi
I whakaputaina: (1972)
mā: Iwasawa, Kenkichi
I whakaputaina: (1972)
Curso de matematicas superiores: manual
mā: Suvorov, I
I whakaputaina: (1969)
mā: Suvorov, I
I whakaputaina: (1969)
Curso de matematicas superiores: manual
mā: Suvorov, I
I whakaputaina: (1960)
mā: Suvorov, I
I whakaputaina: (1960)
Finite mathematical structures
mā: Kemeny, John G, me ētahi atu.
I whakaputaina: (1959)
mā: Kemeny, John G, me ētahi atu.
I whakaputaina: (1959)
An introduction to mathematical modeling
mā: Bender, Edward A
I whakaputaina: (2000)
mā: Bender, Edward A
I whakaputaina: (2000)
Análisis de algunos supuestos en el modelo de regresion lineal: multicolinealidad, heterocedasticidad y autocorrelación
mā: Morán V., Cristián, me ētahi atu.
I whakaputaina: (1983)
mā: Morán V., Cristián, me ētahi atu.
I whakaputaina: (1983)
Mathematical methods for physics
mā: Wyld, H. W
I whakaputaina: (1999)
mā: Wyld, H. W
I whakaputaina: (1999)
Elements de la théorie mathématique des jeux
mā: Guilbaud, G. T
I whakaputaina: (1968)
mā: Guilbaud, G. T
I whakaputaina: (1968)
Understanding numeration systems
mā: Johnson, Donovan A, me ētahi atu.
I whakaputaina: (1960)
mā: Johnson, Donovan A, me ētahi atu.
I whakaputaina: (1960)
Estadística matemática con aplicaciones
mā: Wackerly, Dennis D, me ētahi atu.
I whakaputaina: (2002)
mā: Wackerly, Dennis D, me ētahi atu.
I whakaputaina: (2002)
Ngā tūemi rite
-
Term logic with choice operator
mā: Hermes, Hans
I whakaputaina: (1970) -
Tableau systems for first order number theory and certain higher order theories
mā: Toledo, Sue
I whakaputaina: (1975) -
A precis of mathematical logic
mā: Bochénski, Innocentius M
I whakaputaina: (1959) -
Los principios de la matemática
mā: Russell, Bertrand
I whakaputaina: (1948) -
Büchi's Monadic second order successor arithmetic
mā: Siefkes, Dirk
I whakaputaina: (1970)