|
|
|
|
| LEADER |
00000caa a2200000 4500 |
| 001 |
1582476942 |
| 003 |
DE-627 |
| 005 |
20220815044404.0 |
| 007 |
cr uuu---uuuuu |
| 008 |
181031s2013 xx |||||o 00| ||eng c |
| 024 |
7 |
|
|a 10.1163/15685349-12341259
|2 doi
|
| 035 |
|
|
|a (DE-627)1582476942
|
| 035 |
|
|
|a (DE-576)512476942
|
| 035 |
|
|
|a (DE-599)BSZ512476942
|
| 035 |
|
|
|a (OCoLC)1341022019
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rakwb
|
| 041 |
|
|
|a eng
|
| 084 |
|
|
|a 1
|2 ssgn
|
| 100 |
1 |
|
|0 (DE-588)1066940959
|0 (DE-627)818091673
|0 (DE-576)426293444
|4 aut
|a Uckelman, Sara L.
|d 1982-
|
| 109 |
|
|
|a Uckelman, Sara L. 1982-
|
| 245 |
1 |
2 |
|a A quantified temporal logic for ampliation and restriction
|c Sara L. Uckelman, Ruprecht-Karls Universität Heidelberg
|
| 264 |
|
1 |
|c 2013
|
| 300 |
|
|
|a 26
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a Computermedien
|b c
|2 rdamedia
|
| 338 |
|
|
|a Online-Ressource
|b cr
|2 rdacarrier
|
| 500 |
|
|
|a Gesehen am: 14.12.2020
|
| 650 |
|
4 |
|a temporal logic
|x appellation
|x ampliation
|x restriction
|x supposition
|x quantification
|x necessity
|x Lambert of Lagny
|
| 773 |
0 |
8 |
|i In
|t Vivarium
|d Leiden [u.a.] : Brill, 1963
|g 51(2013), 1/4, Seite 485-510
|h Online-Ressource
|w (DE-627)325567093
|w (DE-600)2036954-2
|w (DE-576)094145016
|x 1568-5349
|7 nnns
|
| 773 |
1 |
8 |
|g volume:51
|g year:2013
|g number:1/4
|g pages:485-510
|g extent:26
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1163/15685349-12341259
|x Verlag
|3 Volltext
|
| 935 |
|
|
|a mteo
|
| 936 |
u |
w |
|d 51
|j 2013
|e 1/4
|h 485-510
|g 26
|
| 951 |
|
|
|a AR
|
| ELC |
|
|
|a 1
|
| ITA |
|
|
|a 1
|t 1
|
| LOK |
|
|
|0 000 xxxxxcx a22 zn 4500
|
| LOK |
|
|
|0 001 3030160688
|
| LOK |
|
|
|0 003 DE-627
|
| LOK |
|
|
|0 004 1582476942
|
| LOK |
|
|
|0 005 20181031144616
|
| LOK |
|
|
|0 008 181031||||||||||||||||ger|||||||
|
| LOK |
|
|
|0 040
|a DE-Tue135
|c DE-627
|d DE-Tue135
|
| LOK |
|
|
|0 092
|o n
|
| LOK |
|
|
|0 852
|a DE-Tue135
|
| LOK |
|
|
|0 852 1
|9 00
|
| LOK |
|
|
|0 935
|a bril
|
| ORI |
|
|
|a SA-MARC-ixtheoa001.raw
|