>> Google Books
タイトル、所在を表示します

Introduction to mathematical logic

フォーマット:
図書
責任表示:
Hans Hermes ; translated from German by Diana Schmidt
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1973
形態:
xi, 242 p. ; 26 cm
著者名:
シリーズ名:
Universitext <BA00021004>
書誌ID:
BA00655466
ISBN:
9780387058191 [0387058192] (: us)
9783540058199 [3540058192] (: gw)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983

Latin-American Symposium on Mathematical Logic, Di Prisco, C. A., 1949-, Asociación Venezolana para el Avance de la &hellip;

Springer-Verlag
7 図書 Eine Termlogik mit Auswahloperator

Hermes, Hans

Springer-Verlag
2 図書 Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa

Costa, Newton C. A. da, Alcantara, Luiz Paulo de, 1944-

M. Dekker
8 図書 Einführung in die Verbandstheorie

Hermes, Hans

Springer
3 図書 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia

Crossley, John N., 1937-, Australian Mathematical Society

Springer-Verlag
9 図書 From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique, 1959-, Thayse, André, 1940-

Springer-Verlag
4 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
10 図書 Introduction to elementary mathematical logic

Stoli︠a︡r, A. A. (Abram Aronovich)

Dover Publications
5 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions

Hermes, Hans, Herman, Gabor T., Plassmann, O.

Springer
11 図書 Introduction to mathematical logic

Mendelson, Elliott

Van Nostrand
6 図書 Algebraic logic

Gindikin, Semen Grigorévich, Silverman, Robert H.

Springer-Verlag
12 図書 A concise introduction to mathematical logic

Rautenberg, Wolfgang

Springer