Nantilus
Intuitionistic logic model theory and forcing
Saved in:
| Main Author : | |
|---|---|
| Format : | Book |
| Language : | anglais |
| Title statement : | Intuitionistic logic model theory and forcing / Melvin Chris Fitting,... |
| Published : |
Amsterdam, London :
North-Holland
, 1969 C 1969 |
| Physical Description : | 1 vol. (191 p.) |
| Series : | Studies in logic and the foundations of mathematics |
| Titre de l'ensemble : | Studies in logic and the foundations of mathematics |
| Subjects : |
| LEADER | 01723cam a2200529 4500 | ||
|---|---|---|---|
| 001 | PPN004629426 | ||
| 003 | http://www.sudoc.fr/004629426 | ||
| 005 | 20240318152200.0 | ||
| 010 | |a 0-7204-2256-6 |b br. | ||
| 020 | |a US |b 79102718 //r89 | ||
| 035 | |a (OCoLC)301439652 | ||
| 035 | |a ocm00068563 | ||
| 035 | |a sib0005265 | ||
| 100 | |a 19990302h19691969k y0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a NL |a GB | ||
| 105 | |a y z 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 RDAfrCarrier | |
| 200 | 1 | |a Intuitionistic logic model theory and forcing |f Melvin Chris Fitting,... | |
| 214 | 0 | |a Amsterdam |a London |c North-Holland |d 1969 | |
| 214 | 4 | |d C 1969 | |
| 215 | |a 1 vol. (191 p.) |d 23 cm | ||
| 225 | 1 | |a Studies in logic and the foundations of mathematics | |
| 320 | |a Bibliogr. p.[188]-189. Index | ||
| 410 | | | |0 013286838 |t Studies in logic and the foundations of mathematics |x 0049-237X | |
| 606 | |3 PPN027392767 |a Mathématiques intuitionnistes |2 rameau | ||
| 606 | |3 PPN027237869 |a Théorie des modèles |2 rameau | ||
| 606 | |3 PPN027426858 |a Ensembles, Théorie axiomatique des |2 rameau | ||
| 676 | |a 512/.817 | ||
| 680 | |a QA9 |b .F56 | ||
| 686 | |a 03Cxx |c 1991 |2 msc | ||
| 686 | |a 03F55 |c 1991 |2 msc | ||
| 686 | |a F.4.1 |2 acm | ||
| 700 | 1 | |3 PPN032597754 |a Fitting |b Melvin Chris |f 1942-.... |4 070 | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20200107 |g AFNOR | |
| 979 | |a PHILO | ||
| 930 | |5 441092107:252872118 |b 441092107 |a L 2524 |j s | ||
| 991 | |5 441092107:252872118 |a Retroconversion Philosophie | ||
| 998 | |a 445276 | ||