Proceedings of the Summer School in Logic Leeds, 1967
保存先:
| 団体著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | 英語 ドイツ語 |
| 出版事項: |
Berlín
Springer-Verlag
1968
|
| シリーズ: | Lecture Notes in Mathematics, 70
|
| 主題: | |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Term logic with choice operator
著者:: Hermes, Hans
出版事項: (1970)
著者:: Hermes, Hans
出版事項: (1970)
Tableau systems for first order number theory and certain higher order theories
著者:: Toledo, Sue
出版事項: (1975)
著者:: Toledo, Sue
出版事項: (1975)
A precis of mathematical logic
著者:: Bochénski, Innocentius M
出版事項: (1959)
著者:: Bochénski, Innocentius M
出版事項: (1959)
Los principios de la matemática
著者:: Russell, Bertrand
出版事項: (1948)
著者:: Russell, Bertrand
出版事項: (1948)
Büchi's Monadic second order successor arithmetic
著者:: Siefkes, Dirk
出版事項: (1970)
著者:: Siefkes, Dirk
出版事項: (1970)
Lógica simbólica
著者:: Hegenberg, Leónidas
出版事項: (1966)
著者:: Hegenberg, Leónidas
出版事項: (1966)
Logic, computers, and sets
著者:: Wang, Hao
出版事項: (1970)
著者:: Wang, Hao
出版事項: (1970)
Estructuras matemáticas finitas
著者:: Kemeny, John G, 等
出版事項: (1970)
著者:: Kemeny, John G, 等
出版事項: (1970)
Theory construction: from verbal to mathematical formulations
著者:: Blalock, Hubert M
出版事項: (1969)
著者:: Blalock, Hubert M
出版事項: (1969)
Cálculo de varias variables: cuestiones y ejercicios resueltos
著者:: Besada Moráis, Manuel, 等
出版事項: (2001)
著者:: Besada Moráis, Manuel, 等
出版事項: (2001)
Mathematical modeling
著者:: Meerschaert, Mark M.
出版事項: (2013)
著者:: Meerschaert, Mark M.
出版事項: (2013)
Mathematical modeling: models, analysis and applications
著者:: Banerjee, Sandip
出版事項: (2014)
著者:: Banerjee, Sandip
出版事項: (2014)
Principles of intuitionism: lectures presented at the summer conference on Intuitism and Proof theory
著者:: Troelstra, A. S
出版事項: (1969)
著者:: Troelstra, A. S
出版事項: (1969)
Conference in Mathematical logic, London 70
著者:: Hodges, Wilfrid
出版事項: (1972)
著者:: Hodges, Wilfrid
出版事項: (1972)
Introduction to logic
著者:: Suppes, Patrick
出版事項: (1957)
著者:: Suppes, Patrick
出版事項: (1957)
First order categorial logic: model-theoretical methods in theory of topoi and related categories
著者:: Makkai, Michael, 等
出版事項: (1977)
著者:: Makkai, Michael, 等
出版事項: (1977)
Mathematical models in agriculture: quantitative methods for the plant, animal and ecological sciences
著者:: Thornley, J. H. M, 等
出版事項: (2007)
著者:: Thornley, J. H. M, 等
出版事項: (2007)
Fundamentos de matemática universitaria
著者:: Valenzuela Tapia, Pedro H
出版事項: (2006)
著者:: Valenzuela Tapia, Pedro H
出版事項: (2006)
Factorizing the classical inequalities
著者:: Bennett, Grahame
出版事項: (1996)
著者:: Bennett, Grahame
出版事項: (1996)
Théorie métamathématique des idéaux
著者:: Robinson, Abraham
出版事項: (1955)
著者:: Robinson, Abraham
出版事項: (1955)
First-order logic
著者:: Smullyan, Raymond M
出版事項: (1995)
著者:: Smullyan, Raymond M
出版事項: (1995)
First-order logic
著者:: Smullyan, Raymond M
出版事項: (1968)
著者:: Smullyan, Raymond M
出版事項: (1968)
Matemática discreta y lógica
著者:: Grassmann, Winfried Karl, 等
出版事項: (1997)
著者:: Grassmann, Winfried Karl, 等
出版事項: (1997)
Introduction to mathematical logic
著者:: Mendelson, Elliott
出版事項: (1997)
著者:: Mendelson, Elliott
出版事項: (1997)
Geostatistics: modeling spatial uncertainty
著者:: Chilès, Jean-Paul, 等
出版事項: (2012)
著者:: Chilès, Jean-Paul, 等
出版事項: (2012)
Geostatistics: modeling spatial uncertainty
著者:: Chilès, Jean-Paul, 等
出版事項: (1999)
著者:: Chilès, Jean-Paul, 等
出版事項: (1999)
Cálculo diferencial para administración y ciencias sociales: un enfoque constructivista mediante la reflexión y la interacción
著者:: Galván Sánchez, Delia Aurora, 等
出版事項: (2005)
著者:: Galván Sánchez, Delia Aurora, 等
出版事項: (2005)
Introduction to mathematical logic
著者:: Mendelson, Elliott
出版事項: (1964)
著者:: Mendelson, Elliott
出版事項: (1964)
Basic mathematics
著者:: Lang, Serge
出版事項: (1971)
著者:: Lang, Serge
出版事項: (1971)
Introduction a la logique mathématique
著者:: Novikov, P. S. (Petr Sergeevich)
出版事項: (1964)
著者:: Novikov, P. S. (Petr Sergeevich)
出版事項: (1964)
Lectures on p-Adic L-Functions
著者:: Iwasawa, Kenkichi
出版事項: (1972)
著者:: Iwasawa, Kenkichi
出版事項: (1972)
Curso de matematicas superiores: manual
著者:: Suvorov, I
出版事項: (1969)
著者:: Suvorov, I
出版事項: (1969)
Curso de matematicas superiores: manual
著者:: Suvorov, I
出版事項: (1960)
著者:: Suvorov, I
出版事項: (1960)
Finite mathematical structures
著者:: Kemeny, John G, 等
出版事項: (1959)
著者:: Kemeny, John G, 等
出版事項: (1959)
An introduction to mathematical modeling
著者:: Bender, Edward A
出版事項: (2000)
著者:: Bender, Edward A
出版事項: (2000)
Análisis de algunos supuestos en el modelo de regresion lineal: multicolinealidad, heterocedasticidad y autocorrelación
著者:: Morán V., Cristián, 等
出版事項: (1983)
著者:: Morán V., Cristián, 等
出版事項: (1983)