Elements of logic via numbers and sets

フォーマット:
図書
責任表示:
D. L. Johnson
言語:
英語
出版情報:
Berlin : Springer, c1998
形態:
x, 174 p. : ill. ; 24 cm
著者名:
Johnson, D. L. <DA04188438>  
シリーズ名:
Springer undergraduate mathematics series <BA34974319>
書誌ID:
BA34974545
ISBN:
9783540761235 [3540761233]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Games, logic, and constructive sets

Mint︠s︡, Grigori, Muskens, Reinhard, 1953-, CSLI Workshop on Logic, Language, and Computation

CSLI Publications
7 図書 Recursion theory, Gödel's theorems, set theory, model theory

Cori, René, Lascar, D. (Daniel), 1942-

Oxford University Press
2 図書 Set theory, logic, and their limitations

Maḥover, Mosheh

Cambridge University Press
8 図書 Symbolic logic

Lewis, Clarence Irving, 1883-1964, Langford, Cooper Harold, 1895-

Dover
3 図書 Logic and structure

Dalen, D. van (Dirk), 1932-

Springer-Verlag
9 図書 Logic as algebra

Halmos, P. R. (Paul Richard), 1916-2006, Givant, Steven R.

Mathematical Association of America
4 図書 Mathematical logic : a course with exercises

Cori, René, Lascar, D. (Daniel), 1942-

Oxford University Press
10 図書 Mathematical logic

Turing, Alan Mathison, 1912-1954, Gandy, R. O., Yates, Charles Edmund Michael, Feferman, Solomon

Elsevier
5 図書 Toposes and local set theories : an introduction

Bell, J. L. (John Lane)

Dover Publications
11 図書 An introduction to symbolic logic

Langer, Susanne Katherina Knauth, 1895-1985

Dover Publications
6 図書 Introduction to symbolic logic

Basson, A.h., O'Connor, D.J. (Daniel John), 1914-

University Tutorial Press
12 図書 Introduction to semantics and formalization of logic

Carnap, Rudolf, 1891-1970

Harvard University Press