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

Intuitionistic logic, model theory and forcing / M.C. Fitting

資料種別:
図書
出版情報:
Amsterdam : North-Holland Pub. Co., 1969
形態:
191 p. ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
著者名:
Fitting, Melvin Chris <DA00998822>  
ISBN:
9780720422566 [0720422566]
書誌ID:
BA03949678
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Boolean-valued models and independence proofs in set theory

Bell, J. L. (John Lane)

Clarendon Press
7 図書 Proof methods for modal and intuitionistic logics

Fitting, Melvin Chris

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston
2 図書 Boolean-valued models and independence proofs in set theory

Bell, J. L. (John Lane)

Clarendon Press
8 図書 Forcing, arithmetic, division rings (: Germany ; : U.S.)

Hirschfeld, Joram, Wheeler, William H., 1946-

Springer-Verlag
3 図書 Mathematical logic : an introduction to model theory

Lightstone, A. H., Enderton, Herbert B

Plenum Press
9 図書 Set theory and its logic

Quine, W. V. (Willard Van Orman), 1908-

Belknap Press of Harvard University Press
4 図書 A course in model theory : an introduction to contemporary mathematical logic (: softcover)

Poizat, Bruno, Klein, Moses

Springer
10 図書 Set theory and its logic

Quine, W. V. (Willard Van Orman), 1908-

Belknap Press of Harvard University Press
5 図書 Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers

Keisler, H. Jerome, 1936-

North-Holland Pub. Co.
11 図書 Constructible sets with applications

Mostowski, Andrzhei︠a︡

North-Holland
6 図書 Model theory for modal logic : Kripke models for modal predicate calculi

Bowen, Kenneth A.

D. Reidel Pub. Co.
12 図書 Models of ZF-set theory

Felgner, Ulrich

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12