01276nam0 22003011i 450 UON0004399820231205102158.20720020107d1961 |0itac50 bagerNL|||| 1||||ˆDie ‰MandaerKurt RudolphGottingenVandenhoeck & Ruprecht19612 v.24 cCont. v. 1: Prolegomena: das Mandaerproblem ; v. 2: Der Kultaltro inv 1449IT-UONSI SIPAVIIAM/003 (1)RELIGIONIVICINO ORIENTE ANTICOUONC013858FIMANDEISMOUONC016753FIDEGöttingenUONL000324SIPA VII AMSIRIA E PALESTINA - RELIGIONE ARAMAICAARUDOLPHKurtUONV013247254569Vandenhoeck & RuprechtUONV248345650ITSOL20240220RICAUON00043998SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI SIPA VII AM 003 (1) SI SA 1448 5 003 (1) altro inv 1449SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI SIPA VII AM 003 (2) SI SA 1449 5 003 (2) Mandaer1157552UNIOR01803nam0 22004693i 450 VAN026281120231123022600.562N978366202382220230901d1983 |0itac50 baengDE|||| |||||Logic and structureDirk van Dalen2. edBerlinSpringer1983x, 210 p.24 cm001VAN00245062001 Universitext210 Berlin [etc]Springer1930-03-XXMathematical logic and foundations [MSC 2020]VANC019750MFBasic model theoryKW:KComputability theoryKW:KFirst-order logic with natural deductionKW:KGoedel's theoremKW:KIntuitionistic logic and semanticsKW:KModel theoryKW:KNormalisation of first-order logicKW:KPredicate logicKW:KProof TheoryKW:KProofsKW:KRecursive functionsKW:KSecond order logicKW:KSet TheoryKW:KBerlinVANL000066DalenDirk vanVANV039208535955Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-662-02382-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0262811BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6541 08eMF6541 20230905 Logic and structure925498UNICAMPANIA