Intuitionistic logic, model theory and forcing.

Saved in:
Bibliographic Details
Main Author: Fitting, Melvin Chris
Format: Book
Language:English
Published: Amsterdam, North-Holland Pub. Co., 1969.
Series:Studies in logic and the foundations of mathematics.
Subjects:

MARC

LEADER 00000cam a2200000 4500
001 b1183091
003 MWH
005 19860107180758.0
008 700501s1969 ne b 00100 eng
010 |a 79102718 
015 |a Ne69-50 
020 |a 0720422566 
035 |a 68563 
040 |a DLC  |c DLC  |d HCD 
049 |a HCDS  |c 1 
090 |a QA9 .F54 
100 1 0 |a Fitting, Melvin Chris. 
245 1 0 |a Intuitionistic logic, model theory and forcing. 
260 0 |a Amsterdam,  |b North-Holland Pub. Co.,  |c 1969. 
300 |a 191 p.  |c 23 cm. 
350 |a 35.00 
490 1 |a Studies in logic and the foundation of mathematics 
504 |a Bibliography: p. [188]-189. 
650 0 |a Model theory. 
650 0 |a Axiomatic set theory. 
650 0 |a Forcing (Model theory) 
830 0 |a Studies in logic and the foundations of mathematics. 
907 |a .b11830918  |b 10-10-11  |c 10-03-03 
998 |a hq  |b 10-01-03  |c m  |d a   |e -  |f eng  |g ne   |h 0  |i 1 
995 |a MARION AAO-7001 
945 |f  - -   |g 1  |h 0  |i 38344001509205  |j  - -   |k  - -   |l hqcol  |o -  |p $0.00  |q -  |r -  |s m   |t 0  |u 0  |v 0  |w 0  |x 0  |y .i12158641  |z 10-03-03 
999 f f |i 42bf9300-53a7-5d94-a582-685ac6ea48a5  |s 3d2ba4c9-1f55-5315-8bbf-51960931bb2d  |t 0 
952 f f |p Can Circulate  |a College of the Holy Cross  |b Main Campus  |c Science  |d Science Library  |t 0  |e QA9 .F54  |h Other scheme  |i Book  |m 38344001509205