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

Propositional logics / Richard L. Epstein ; with the assistance and collaboration of Walter A. Carnielli ... [et al.]

資料種別:
図書
出版情報:
Dordrecht [The Netherlands] ; Boston : Kluwer Academic Publishers, c1990
形態:
xxii, 386 p. ; 25 cm
シリーズ名:
Nijhoff international philosophy series ; v. 35 . The semantic foundations of logic ; v. 1 <BA00388665>
著者名:
Epstein, Richard L., 1947- <DA03005248>  
ISBN:
9780792306221 [0792306228]
書誌ID:
BA10191510
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Computability : computable functions, logic, and the foundations of mathematics

Epstein, Richard L., 1947-, Carnielli, Walter A. (Walter Alexandre)

Wadsworth & Brooks/Cole Advanced Books & Software
7 図書 Logic, language, and metaphysics

Martin, R. M. (Richard Milton), 1916-

New York University Press
2 図書 Handbook of logic and language (: Elsevier ; : MIT Press)

Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter

Elsevier, MIT Press
8 図書 On formally undecidable propositions of Principia mathematica and related systems

Gödel, Kurt, 1906-1978, Meltzer, Bernard N., Braithwaite, R. B. (Richard Bevan)

Basic Books
3 図書 Handbook of logic and language (: pbk)

Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter

Elsevier
9 図書 Mass terms and model-theoretic semantics (pbk)

Bunt, Harry C.

Cambridge University Press
4 図書 Elementary logic

Mates, Benson, 1919-

Oxford University Press
10 図書 Elementary formal logic : a programmed course

Hamblin, C. L. (Charles Leonard), 1922-1985

Methuen
5 図書 The propositional logic of Boethius

Dürr, Karl, 1888-

North-Holland Pub
11 図書 Logic for applications (: us ; : gw)

Nerode, Anil, 1932-, Shore, Richard A., 1946-

Springer-Verlag
6 図書 Logic in linguistics (: hard ; : pbk)

Allwood, Jens S., 1947-, Andersson, Lars-Gunnar, 1949-, Dahl, Östen

Cambridge University Press
12 電子ブック Computability and logic / ((ebook))

Boolos, George, Burgess, John P., Jeffrey, Richard C.
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12