LEADER 02024nam  22004815  450 
001 996466478703316
005 20200710125449.0
010   $a3-540-69980-5
024 7 $a10.1007/BFb0097721
035   $a(CKB)1000000000438791
035   $a(SSID)ssj0001206375
035   $a(PQKBManifestationID)11806284
035   $a(PQKBTitleCode)TC0001206375
035   $a(PQKBWorkID)11225953
035   $a(PQKB)10090532
035   $a(DE-He213)978-3-540-69980-4
035   $a(PPN)155163485
035   $a(EXLCZ)991000000000438791
100   $a20100730d1965      u|             0
101 0 $ager
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEine Termlogik mit Auswahloperator$b[electronic resource] /$fvon Hans Hermes
205   $a1st ed. 1965.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1965.
215   $a1 online resource (III, 55 pp.) 
225 1 $aLecture Notes in Mathematics,$x0075-8434
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-03350-5 
327   $aPrädikatenlogik mit Auswahloperator -- Termlogik mit Auswahloperator -- Zusammenhang zwischen der Prädikatenlogik und der Termlogik -- Rang, freies Vorkommen einer Variablen, Substitution -- Ein Kalkül für die Termlogik -- Gleichwertigkeit von # und ?. Korrektheit der Regeln -- Übersicht über den Vollständigkeitsbeweis -- Termisomorphismen -- Maximalisierung von M ? -- Verallgemeinerte Substitution -- Erfüllbarkeit von M *.
410  0$aLecture Notes in Mathematics,$x0075-8434
606   $aMathematics
606   $aMathematics, general$3https://scigraph.springernature.com/ontologies/product-market-codes/M00009
615  0$aMathematics.
615 14$aMathematics, general.
676   $a510
700   $aHermes$b Hans$4aut$4http://id.loc.gov/vocabulary/relators/aut$042101
906   $aBOOK
912   $a996466478703316
996   $aTermlogik mit Auswahloperator$983203
997   $aUNISA

LEADER 01515nam0 22003373i 450 
001 VAN00238198
005 20240806101345.174
017 70$2N$a9783030195731
100   $a20220125d2020       |0itac50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $aGeospatial Technologies for Urban Health$feditors Yongmei Lu, Eric Delmelle
210   $aCham$cSpringer$d2020
215   $aXI, 259 p.$cill.$d24 cm
410  1$1001VAN00238038$12001 $aGlobal Perspectives on Health Geography$1210  $aCham$cSpringer$d2019-
620   $aCH$dCham$3VANL001889
676   $a711$cUrbanistica (Pianificazione territoriale)$v22
676   $a526$cCartografia - Geodesia$v22
676   $a910$cGeografia generale$v22
702  1$aDelmelle$bEric$3VANV195234
702  1$aLu$bYongmei$3VANV195233
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttps://link.springer.com/book/10.1007/978-3-030-19573-1$zE-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$1IT-CE0101$2VAN17
912   $fN
912   $aVAN00238198
950   $aBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE$d17CONS      e-book                  2223        $e17BIB2223/175  176     20220125            
996   $aGeospatial Technologies for Urban Health$92163233
997   $aUNICAMPANIA