Search
| Leader | 00000nz a2200037n 45 0 | ||
|---|---|---|---|
| 001 | PLWABN|9814034662505606 (VIAF cluster) | ||
| 005 | 20240618180946.0 | ||
| 008 | 240610n||aznnnaabn |a aaa |c | ||
| 003 | PLWABN | ||
| 035 | ‡a (PLWABN)9814034662505606 | ||
| 010 | ‡a p 2024074154 | ||
| 035 | ‡a (PL)a1000001343103 | ||
| 040 | ‡a WA N ‡c WA N | ||
| 043 | ‡c AU ‡c GB | ||
| 100 | 1 | ‡a Gutierrez, Julian | |
| 370 | ‡c Australia | ||
| 370 | ‡c Wielka Brytania | ||
| 372 | ‡a Informatyka | ||
| 372 | ‡a Logika matematyczna | ||
| 372 | ‡a Teoria gier | ||
| 373 | ‡a Monash University | ||
| 373 | ‡a Uniwersytet Oksfordzki | ||
| 374 | ‡a Informatycy | ||
| 374 | ‡a Matematycy | ||
| 374 | ‡a Pracownice i pracownicy naukowi | ||
| 375 | ‡a 1 ‡2 iso5218 | ||
| 377 | ‡a eng | ||
| 670 | ‡a Core type theory / Emma van Dijk, David Ripley, Julian Gutierrez. W: Bulletin of the Section of Logic. Vol. 52, nr. 2 (2023). | ||
| 670 | ‡a BL online | ||
| 670 | ‡a Julian Gutierrez - Monash University. ‡u https://research.monash.edu/en/persons/julian-gutierrez-santiago | ||
| 670 | ‡a ORCID. ‡u https://orcid.org/0000-0002-1091-8232 | ||
| 919 | ‡a coretypetheory ‡A Core type theory ‡9 1 | ||
| 945 | ‡a informatycy ‡A Informatycy ‡9 1 | ||
| 945 | ‡a matematycy ‡A Matematycy ‡9 1 | ||
| 945 | ‡a pracownice i pracownicy naukowi ‡A Pracownice i pracownicy naukowi ‡9 1 | ||
| 946 | ‡a b ‡9 1 | ||
| 947 | ‡a AU ‡9 1 | ||
| 947 | ‡a Wielka Brytania ‡9 1 | ||
| 947 | ‡a GB ‡9 1 | ||
| 948 | ‡a eng ‡9 1 | ||
| 970 | ‡a informatyka ‡A Informatyka ‡9 1 | ||
| 970 | ‡a logika matematyczna ‡A Logika matematyczna ‡9 1 | ||
| 970 | ‡a teoria gier ‡A Teoria gier ‡9 1 | ||
| 996 | ‡2 BNCHL|10000000000000000014669 | ||
| 996 | ‡2 BNE|XX1392559 | ||
| 996 | ‡2 BNC|981058508427906706 | ||
| 996 | ‡2 ISNI|0000000022375226 | ||
| 996 | ‡2 BNE|XX1362658 | ||
| 996 | ‡2 LC|ns2023001673 | ||
| 996 | ‡2 WKP|Q102110624 | ||
| 996 | ‡2 DNB|1157370837 | ||
| 996 | ‡2 SUDOC|28097292X | ||
| 996 | ‡2 ISNI|0000000060722049 | ||
| 996 | ‡2 WKP|Q79810249 | ||
| 996 | ‡2 ISNI|0000000060287462 | ||
| 996 | ‡2 LC|no2018078245 | ||
| 996 | ‡2 BNCHL|10000000000000000240115 | ||
| 996 | ‡2 ISNI|0000000080036070 | ||
| 996 | ‡2 WKP|Q3769456 | ||
| 996 | ‡2 BIBSYS|98068206 | ||
| 996 | ‡2 SUDOC|178394297 | ||
| 996 | ‡2 SUDOC|197743110 | ||
| 996 | ‡2 NUKAT|n 2013204246 | ||
| 996 | ‡2 SUDOC|241067138 | ||
| 996 | ‡2 ISNI|0000000089074671 | ||
| 996 | ‡2 BNCHL|10000000000000000119750 | ||
| 996 | ‡2 BNE|XX1027483 | ||
| 996 | ‡2 LC|no2019189258 | ||
| 996 | ‡2 ISNI|000000003203445X | ||
| 996 | ‡2 LC|no2008090129 | ||
| 996 | ‡2 SUDOC|148508235 | ||
| 996 | ‡2 SUDOC|280972938 | ||
| 996 | ‡2 NYNYRILM|165417 | ||
| 996 | ‡2 SUDOC|280975473 | ||
| 996 | ‡2 WKP|Q57910583 | ||
| 996 | ‡2 ISNI|000000006037104X | ||
| 996 | ‡2 BNE|XX1059339 | ||
| 996 | ‡2 DNB|133058883 | ||
| 996 | ‡2 SUDOC|259966991 | ||
| 996 | ‡2 BNE|XX1552907 | ||
| 996 | ‡2 LC|n 2017056693 | ||
| 996 | ‡2 PTBNP|122399 | ||
| 996 | ‡2 SUDOC|180681486 | ||
| 996 | ‡2 BIBSYS|1488830535747 | ||
| 996 | ‡2 ISNI|0000000047599648 | ||
| 996 | ‡2 ISNI|0000000060071987 | ||
| 996 | ‡2 LC|no2001066826 | ||
| 996 | ‡2 BNF|16717016 | ||
| 996 | ‡2 LC|no2007053995 | ||
| 996 | ‡2 ISNI|0000000069595314 | ||
| 996 | ‡2 WKP|Q57016581 | ||
| 996 | ‡2 SIMACOB|246120291 | ||
| 996 | ‡2 SUDOC|280972911 | ||
| 996 | ‡2 WKP|Q63607750 | ||
| 996 | ‡2 BNC|981058529402306706 | ||
| 996 | ‡2 DNB|1255096101 | ||
| 996 | ‡2 ARBABN|000056717 | ||
| 996 | ‡2 WKP|Q124288525 | ||
| 996 | ‡2 BNC|981061121705706706 | ||
| 996 | ‡2 LC|n 2014187038 | ||
| 996 | ‡2 BNC|981058518272906706 | ||
| 996 | ‡2 LC|n 88032497 | ||
| 996 | ‡2 PTBNP|73068 | ||
| 996 | ‡2 DNB|1157148786 | ||
| 996 | ‡2 CAOONL|ncf11864899 | ||
| 996 | ‡2 NTA|357587138 | ||
| 996 | ‡2 J9U|987007314569805171 | ||
| 996 | ‡2 BNE|XX1130413 | ||
| 996 | ‡2 WKP|Q128035666 | ||
| 996 | ‡2 LC|n 50002717 | ||
| 996 | ‡2 WKP|Q54328386 | ||
| 996 | ‡2 LC|no2007143970 | ||
| 996 | ‡2 BNC|981058615595006706 | ||
| 996 | ‡2 ISNI|0000000070029977 | ||
| 996 | ‡2 BNCHL|10000000000000000120005 | ||
| 996 | ‡2 DNB|105743129X | ||
| 996 | ‡2 LC|no2008156609 | ||
| 996 | ‡2 SUDOC|221437266 | ||
| 996 | ‡2 BNE|XX1092072 | ||
| 996 | ‡2 ISNI|0000000078779545 | ||
| 996 | ‡2 BNC|981058616816306706 | ||
| 996 | ‡2 LC|n 96052012 | ||
| 996 | ‡2 DNB|1175408565 | ||
| 996 | ‡2 ISNI|0000000493395215 | ||
| 996 | ‡2 WKP|Q130323861 | ||
| 996 | ‡2 ISNI|0000000403601557 | ||
| 996 | ‡2 BNF|15851111 | ||
| 996 | ‡2 CAOONL|ncf11919844 | ||
| 996 | ‡2 SUDOC|188109706 | ||
| 996 | ‡2 NTA|241531365 | ||
| 996 | ‡2 LC|no2017089094 | ||
| 996 | ‡2 LC|ns2012004842 | ||
| 996 | ‡2 ISNI|0000000060177300 | ||
| 997 | ‡a 0 0 lived 0 0 ‡9 1 | ||
| 998 | ‡a Gutierrez, Julian ‡2 SUDOC|221437266 ‡3 exact name | ||
| 998 | ‡a Gutierrez, Julian ‡2 DNB|1255096101 ‡3 exact name | ||
| 998 | ‡a Gutiérrez, Julián ‡2 CAOONL|ncf12052585 ‡3 exact name |
