>> Google Books
所蔵情報QRコード

Computability : computable functions, logic, and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli

資料種別:
図書
出版情報:
Pacific Grove, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, c1989
形態:
xvii, 297 p. ; 25 cm
シリーズ名:
The Wadsworth & Brooks/Cole mathematics series <BA00170580>
著者名:
ISBN:
9780534103569 [0534103561]
書誌ID:
BA07266087
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Propositional logics

Epstein, Richard L., 1947-

Kluwer Academic Publishers
7 図書 Foundations of mathematical logic

Curry, Haskell B. (Haskell Brooks), 1900-

McGraw-Hill
2 電子ブック Computability and logic / ((ebook))

Boolos, George, Burgess, John P., Jeffrey, Richard C.
8 図書 Mathematical logic : foundations for information science

李, 未(1943-)

Birkhäuser
3 図書 Computability and logic (: U.K. - : U.S., pbk)

Cohen, Daniel E.

E. Horwood, Halsted Press [distributor]
9 図書 Development of mathematical logic

Goodstein, R. L. (Reuben Louis)

Logos Press
4 図書 Computability, complexity, logic

Börger, Egon, 1946-

North-Holland, Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.
10 図書 A course in mathematical logic

Bell, J. L. (John Lane), Maḥover, Mosheh

North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.
5 図書 Three views of logic : mathematics, philosophy, and computer science (: [pbk.])

Loveland, Donald W., 1934-, Hodel, Richard E., Sterrett, S. G.

Princeton University Press
11 図書 Introduction to mathematical logic : set theory, computable functions, model theory (: us ; : gw ; : pbk.)

Malitz, Jerome

Springer-Verlag
6 図書 Foundations of mathematical logic

Curry, Haskell B. (Haskell Brooks), 1900-

Dover Publications
12 図書 The foundations of mathematics (: pbk)

Stewart, Ian Nicholas, 1945-, Tall, David Orme

Oxford University Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12