Tableau systems for first order number theory and certain higher order theories :: SCD d'Orléans

Tableau systems for first order number theory and certain higher order theories

Tableau systems for first order number theory and certain higher order theories

保存先:

書誌詳細
第一著者:	Toledo, Sue Ann, 1940-
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in mathematics 447
主題:	Théorie de la démonstration Mathématiques Nombres, Théorie des Calcul des prédicats
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Tableau systems for first order number theory and certain higher order theories, Sue Toledo, Berlin, Springer, 1975, 1 vol. (339 p.), Lecture notes in mathematics, 3-540-07149-0 • Tableau Systems for First Order Number Theory and Certain Higher Order Theories, Texte imprimé, 9783662183014

類似資料

Tableau systems for first order number theory and certain higher order theories
著者:: Toledo, Sue Ann, 1940-
出版事項: (1975)

Büchi's monadic second order successor arithmetic
著者:: Siefkes, Dirk
出版事項: (1970)

Logique. Méthodes pour l'informatique fondamentale
著者:: Gochet, Paul, 1932-2011, logicien, 等
出版事項: (1990)

Büchi's monadic second order successor arithmetic
著者:: Siefkes, Dirk

Applications of number theory to numerical analysis = Applications de la théorie des nombres á l'analyse numérique
出版事項: (1972)

A course in computational algebraic number theory
著者:: Cohen, Henri, 1947-
出版事項: (1993)

Number Theory : An Introduction via the Distribution of Primes
著者:: Fine, Benjamin, 1948-, 等

Higher order necessary conditions in optimal control theory
著者:: Knobloch, Hans Wilhelm, 1927-

Number theory. Algebraic number theory
著者:: Paršin, Aleksej Nikolaevič, 1942-2022
出版事項: (1992)

Number theory
著者:: Andrews, George E., 1938-
出版事項: (1994)

Unsolved problems in number theory
著者:: Guy, Richard K., 1916-2020
出版事項: (1994)

An introduction to number theory
著者:: Stark, Harold M., 1939-
出版事項: (1978)

Number theory
著者:: Hasse, Helmut, 1898-1979
出版事項: (1980)

Number theory. an introduction to mathematics
著者:: Coppel, William Andrew, 1930-2023

Number theory. an introduction to mathematics
著者:: Coppel, William Andrew, 1930-2023
出版事項: (2006)

Number theory : an introduction to Mathematics
著者:: Coppel, William Andrew

Introduction to number theory
著者:: Hua, Luogeng, 1910-1985
出版事項: (1982)

Basic number theory
著者:: Weil, André, 1906-1998
出版事項: (1973)

Introduction to number theory
著者:: Nagell, Trygve, 1895-1988
出版事項: (1951)

Elements of number theory
著者:: Stillwell, John, 1942-...., Professeur de mathématiques
出版事項: (2003)

Basic number theory
著者:: Weil, André, 1906-1998

Basic number theory
著者:: Weil, André, 1906-1998

Number theory for beginners
著者:: Weil, André, 1906-1998, 等

Handbook of number theory.
著者:: Sándor, József, 1956-, 等

Surveys in Number Theory
著者:: Alladi, Krishnaswami, 1955-

Physics and number theory
出版事項: (2006)

Number theory III : Diophantine geometry.
出版事項: (1991)

Additive number theory : the classical bases
著者:: Nathanson, Melvyn Bernard, 1944-
出版事項: (1996)

Topics in multiplicative number theory
著者:: Montgomery, Hugh L., 1944-
出版事項: (1971)

Introduction to analytic number theory
著者:: Chandrasekharan, Komaravolu, 1920-2017
出版事項: (1968)

Lectures on elementary number theory
著者:: Rademacher, Hans, 1892-1969
出版事項: (1964)

Topics in analytic number theory
著者:: Rademacher, Hans, 1892-1969
出版事項: (1973)

Elementary methods in number theory
著者:: Nathanson, Melvyn Bernard, 1944-...., mathématicien

Four faces of number theory
著者:: Bringmann, Kathrin, 等
出版事項: (2015)

Number theory : tradition and modernization

Introduction to analytic number theory
著者:: Apostol, Tom M., 1923-2016, mathématicien
出版事項: (1976)

Introduction to analytic number theory
著者:: Apostol, Tom M., 1923-2016, mathématicien

Additive number theory : inverse problems and the geometry of sumsets
著者:: Nathanson, Melvyn Bernard, 1944-...., mathématicien
出版事項: (1996)

Elementary number theory : primes, congruences, and secrets : a computational approach
著者:: Stein, William, 1974-

Elementary number theory, group theory, and Ramanujan graphs
著者:: Davidoff, Giuliana P., 等
出版事項: (2003)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales