LEADER 00858nam0-22003251i-450-
001 990001092590403321
010   $a0-444-87943-9
035   $a000109259
035   $aFED01000109259
035   $a(Aleph)000109259FED01
035   $a000109259
100   $a20000920d1987----km-y0itay50------ba
101 0 $aeng
200 1 $aProof Theory$fGaisi Takeuti
205   $a2nd ed.
210   $aAmsterdam [etc.]$cNorth-Holland$d1987
215   $aX, 490 p.$d23 cm
225 1 $aStudies in logic and the foundations of mathematics$vvol. 81
610 0 $aLogica
610 0 $aRicorsività
676   $a160
700  1$aTakeuti,$bGaisi$050858
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001092590403321
952   $a7-154.001$b16484$fFI1
959   $aFI1
996   $aProof Theory$9335175
997   $aUNINA
DB    $aING01

LEADER 01069nas  2200361 c 450 
001 9910142691603321
005 20251012103902.0
035   $a(DE-599)ZDB2253242-0
035   $a(OCoLC)1368985925
035   $a(DE-101)981437826
035   $a(CKB)1000000000530589
035   $a(EXLCZ)991000000000530589
100   $a20061005b20012019  |y         |
101 0 $ager
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIFSH aktuell$fInstitut fu?r Friedensforschung und Sicherheitspolitik an der Universita?t Hamburg
210 31$aHamburg$cInst. fu?r Friedensforschung und Sicherheitspolitik an der Universita?t Hamburg$d2001-2019
215   $aOnline-Ressource
300   $aErscheint unregelma?ßig
300   $aGesehen am 01.10.24
517 3 $aAktuell
608   $aZeitschrift$2gnd-content
676   $a320
801  0$b8999
801  1$bDE-101
801  2$b9999
906   $aJOURNAL
912   $a9910142691603321
996   $aIFSH Aktuell$92058064
997   $aUNINA