LEADER 00948nam0-22003011i-450- 001 990003333810403321 005 20090324094927.0 035 $a000333381 035 $aFED01000333381 035 $a(Aleph)000333381FED01 035 $a000333381 100 $a20030910d1974----km-y0itay50------ba 101 0 $afre 102 $aFR 105 $ay-------001yy 200 1 $aDictionnaire orthographique$esuivi d'une liste des verbes irreguliers et de remarques sur certaines difficultes orthographiques et grammaticales$fpar Bojana et Bernard Lamizet 210 $aParis$cGarnier-Flammarion$d1974 215 $a411 p.$d18 cm 225 1 $aCollection Garnier-Flammarion 676 $a443.2 700 1$aLamizet,$bBojana et Bernard$0493976 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003333810403321 952 $a443.2 LAM$b123$fDECLI 959 $aDECLI 996 $aDictionnaire orthographique$9448539 997 $aUNINA LEADER 01351nam0 22003493i 450 001 VAN0243869 005 20240514111855.754 010 $a978-88-470-1883-9 100 $a20220328d2011 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aLogica: metodo breve$fDaniele Mundici 210 $aMilano$cSpringer$d2011 215 $aXI, 126 p.$d24 cm 410 1$1001VAN0045576$12001 $aUnitext$1210 $aMilano [etc.]$cSpringer$v50 500 1$3VAN0243860$aLogica: metodo breve$92983391 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aCompattezza e modelli nonstandard$9KW:K 610 $aDeduzione Automatica$9KW:K 610 $aLogica Matematica$9KW:K 610 $aSemantica di Tarski$9KW:K 610 $aTeorema di Completezza di Gödel$9KW:K 620 $dMilano$3VANL000284 700 1$aMundici$bDaniele$3VANV069606$062698 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0243869 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS 03-XX 2940 $e08 9083 I 20110704 996 $aLogica: metodo breve$92983391 997 $aUNICAMPANIA