Intuitionistic logic, model theory and forcing
| LEADER | cam a22 4500 | ||
|---|---|---|---|
| 001 | 528911872 | ||
| 003 | CHVBK | ||
| 005 | 20200927092134.0 | ||
| 006 | m d | ||
| 007 | cr |n |||||||| | ||
| 008 | 700501s1969 ne sb 001 0 eng d | ||
| 010 | |a 79102718 | ||
| 015 | |a Ne69-50 | ||
| 020 | |a 0-7204-2256-6 | ||
| 035 | |a (SERSOL)ssj0000851032 | ||
| 035 | |a (WaSeSS)ssj0000851032 | ||
| 040 | |a DLC |c DLC |d DLC |d WaSeSS | ||
| 050 | 0 | 0 | |a QA9 |b .F56 |
| 082 | 0 | 0 | |a 512/.817 |
| 100 | 1 | |a Fitting |D Melvin |d 1942- | |
| 245 | 1 | 0 | |a Intuitionistic logic, model theory and forcing |h [Elektronische Daten] |
| 260 | |a Amsterdam |b North-Holland Pub. Co |c 1969 | ||
| 300 | |a 1 online resource (191 p.) | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics | |
| 504 | |a Bibliography: p. [188]-189. | ||
| 506 | |a Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. | ||
| 650 | 0 | |a Model theory | |
| 650 | 0 | |a Axiomatic set theory | |
| 650 | 0 | |a Forcing (Model theory) | |
| 856 | 4 | 0 | |u https://www.sciencedirect.com/science/bookseries/0049237X/54 |z Uni Bern: Volltext |
| 898 | |a BK020053 |b XK020053 |c XK020000 | ||
| 909 | 4 | |f ScienceDirect eBooks | |
| 909 | 4 | |a E-Books von 360MarcUpdates | |
| 949 | |B IDSBB |F B405 |b B405 |c 405VT |x NELB4051809 | ||
| 950 | |B IDSBB |P 100 |E 1- |a Fitting |D Melvin |d 1942- | ||
| 950 | |B IDSBB |P 490 |E 1- |a Studies in logic and the foundations of mathematics | ||
| 950 | |B IDSBB |P 856 |E 40 |u https://www.sciencedirect.com/science/bookseries/0049237X/54 |z Uni Bern: Volltext | ||