A realizability interpretation for classical arithmetic.

Gespeichert in:

Autor*in:	Avigad, J. [verfasserIn] Berger, Ulrich

Format:	Artikel

Erschienen:	2002

Umfang:	1

Übergeordnetes Werk:	Enthalten in: The bulletin of symbolic logic - Cambridge : Cambridge Univ. Press, 1995, 8(2002), 3, Seite 439
Übergeordnetes Werk:	volume:8 ; year:2002 ; number:3 ; pages:439 ; extent:1

Katalog-ID:	OLC163158961X

Internformat


LEADER	01000caa a22002652 4500
001	OLC163158961X
003	DE-627
005	20230706180615.0
007	tu
008	021014s2002 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a SW021014
035			\|a (DE-627)OLC163158961X
035			\|a (DE-599)GBVOLC163158961X
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
082	0	4	\|a 100 \|a 510
084			\|a PHILOS \|2 fid
100	1		\|a Avigad, J. \|e verfasserin \|4 aut
245	1	2	\|a A realizability interpretation for classical arithmetic.
264		1	\|c 2002
300			\|a 1
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
700	1		\|a Berger, Ulrich \|4 oth
773	0	8	\|i Enthalten in \|t The bulletin of symbolic logic \|d Cambridge : Cambridge Univ. Press, 1995 \|g 8(2002), 3, Seite 439 \|w (DE-627)186453000 \|w (DE-600)1235752-2 \|w (DE-576)046714405 \|x 1079-8986 \|7 nnns
773	1	8	\|g volume:8 \|g year:2002 \|g number:3 \|g pages:439 \|g extent:1
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a FID-PHILOS
912			\|a SSG-OLC-MAT
912			\|a SSG-OPC-MAT
912			\|a GBV_ILN_11
912			\|a GBV_ILN_22
912			\|a GBV_ILN_24
912			\|a GBV_ILN_40
912			\|a GBV_ILN_65
912			\|a GBV_ILN_69
912			\|a GBV_ILN_70
912			\|a GBV_ILN_120
912			\|a GBV_ILN_285
912			\|a GBV_ILN_2002
912			\|a GBV_ILN_2003
912			\|a GBV_ILN_2004
912			\|a GBV_ILN_2006
912			\|a GBV_ILN_2007
912			\|a GBV_ILN_2012
912			\|a GBV_ILN_2015
912			\|a GBV_ILN_2088
912			\|a GBV_ILN_2190
912			\|a GBV_ILN_2244
912			\|a GBV_ILN_4012
912			\|a GBV_ILN_4028
912			\|a GBV_ILN_4036
912			\|a GBV_ILN_4046
912			\|a GBV_ILN_4112
912			\|a GBV_ILN_4125
912			\|a GBV_ILN_4266
912			\|a GBV_ILN_4305
912			\|a GBV_ILN_4310
912			\|a GBV_ILN_4314
912			\|a GBV_ILN_4317
912			\|a GBV_ILN_4323
912			\|a GBV_ILN_4324
912			\|a GBV_ILN_4700
951			\|a AR
952			\|d 8 \|j 2002 \|e 3 \|h 439 \|g 1

Indexfelder

author_variant	j a ja
matchkey_str	article:10798986:2002----::raiaiiynepeainocas
hierarchy_sort_str	2002
publishDate	2002
allfields	SW021014 (DE-627)OLC163158961X (DE-599)GBVOLC163158961X DE-627 ger DE-627 rakwb 100 510 PHILOS fid Avigad, J. verfasserin aut A realizability interpretation for classical arithmetic. 2002 1 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Berger, Ulrich oth Enthalten in The bulletin of symbolic logic Cambridge : Cambridge Univ. Press, 1995 8(2002), 3, Seite 439 (DE-627)186453000 (DE-600)1235752-2 (DE-576)046714405 1079-8986 nnns volume:8 year:2002 number:3 pages:439 extent:1 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_120 GBV_ILN_285 GBV_ILN_2002 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4028 GBV_ILN_4036 GBV_ILN_4046 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4310 GBV_ILN_4314 GBV_ILN_4317 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4700 AR 8 2002 3 439 1
spelling	SW021014 (DE-627)OLC163158961X (DE-599)GBVOLC163158961X DE-627 ger DE-627 rakwb 100 510 PHILOS fid Avigad, J. verfasserin aut A realizability interpretation for classical arithmetic. 2002 1 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Berger, Ulrich oth Enthalten in The bulletin of symbolic logic Cambridge : Cambridge Univ. Press, 1995 8(2002), 3, Seite 439 (DE-627)186453000 (DE-600)1235752-2 (DE-576)046714405 1079-8986 nnns volume:8 year:2002 number:3 pages:439 extent:1 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_120 GBV_ILN_285 GBV_ILN_2002 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4028 GBV_ILN_4036 GBV_ILN_4046 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4310 GBV_ILN_4314 GBV_ILN_4317 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4700 AR 8 2002 3 439 1
allfields_unstemmed	SW021014 (DE-627)OLC163158961X (DE-599)GBVOLC163158961X DE-627 ger DE-627 rakwb 100 510 PHILOS fid Avigad, J. verfasserin aut A realizability interpretation for classical arithmetic. 2002 1 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Berger, Ulrich oth Enthalten in The bulletin of symbolic logic Cambridge : Cambridge Univ. Press, 1995 8(2002), 3, Seite 439 (DE-627)186453000 (DE-600)1235752-2 (DE-576)046714405 1079-8986 nnns volume:8 year:2002 number:3 pages:439 extent:1 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_120 GBV_ILN_285 GBV_ILN_2002 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4028 GBV_ILN_4036 GBV_ILN_4046 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4310 GBV_ILN_4314 GBV_ILN_4317 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4700 AR 8 2002 3 439 1
allfieldsGer	SW021014 (DE-627)OLC163158961X (DE-599)GBVOLC163158961X DE-627 ger DE-627 rakwb 100 510 PHILOS fid Avigad, J. verfasserin aut A realizability interpretation for classical arithmetic. 2002 1 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Berger, Ulrich oth Enthalten in The bulletin of symbolic logic Cambridge : Cambridge Univ. Press, 1995 8(2002), 3, Seite 439 (DE-627)186453000 (DE-600)1235752-2 (DE-576)046714405 1079-8986 nnns volume:8 year:2002 number:3 pages:439 extent:1 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_120 GBV_ILN_285 GBV_ILN_2002 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4028 GBV_ILN_4036 GBV_ILN_4046 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4310 GBV_ILN_4314 GBV_ILN_4317 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4700 AR 8 2002 3 439 1
allfieldsSound	SW021014 (DE-627)OLC163158961X (DE-599)GBVOLC163158961X DE-627 ger DE-627 rakwb 100 510 PHILOS fid Avigad, J. verfasserin aut A realizability interpretation for classical arithmetic. 2002 1 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Berger, Ulrich oth Enthalten in The bulletin of symbolic logic Cambridge : Cambridge Univ. Press, 1995 8(2002), 3, Seite 439 (DE-627)186453000 (DE-600)1235752-2 (DE-576)046714405 1079-8986 nnns volume:8 year:2002 number:3 pages:439 extent:1 GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_120 GBV_ILN_285 GBV_ILN_2002 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4028 GBV_ILN_4036 GBV_ILN_4046 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4310 GBV_ILN_4314 GBV_ILN_4317 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4700 AR 8 2002 3 439 1
source	Enthalten in The bulletin of symbolic logic 8(2002), 3, Seite 439 volume:8 year:2002 number:3 pages:439 extent:1
sourceStr	Enthalten in The bulletin of symbolic logic 8(2002), 3, Seite 439 volume:8 year:2002 number:3 pages:439 extent:1
format_phy_str_mv	Article
institution	findex.gbv.de
dewey-raw	100
isfreeaccess_bool	false
container_title	The bulletin of symbolic logic
authorswithroles_txt_mv	Avigad, J. @@aut@@ Berger, Ulrich @@oth@@
publishDateDaySort_date	2002-01-01T00:00:00Z
hierarchy_top_id	186453000
dewey-sort	3100
id	OLC163158961X
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC163158961X</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230706180615.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">021014s2002 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW021014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC163158961X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC163158961X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">100</subfield><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHILOS</subfield><subfield code="2">fid</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Avigad, J.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="2"><subfield code="a">A realizability interpretation for classical arithmetic.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berger, Ulrich</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The bulletin of symbolic logic</subfield><subfield code="d">Cambridge : Cambridge Univ. Press, 1995</subfield><subfield code="g">8(2002), 3, Seite 439</subfield><subfield code="w">(DE-627)186453000</subfield><subfield code="w">(DE-600)1235752-2</subfield><subfield code="w">(DE-576)046714405</subfield><subfield code="x">1079-8986</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:8</subfield><subfield code="g">year:2002</subfield><subfield code="g">number:3</subfield><subfield code="g">pages:439</subfield><subfield code="g">extent:1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-PHILOS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2002</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2003</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2004</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4028</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4036</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4266</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4310</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4314</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4317</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">8</subfield><subfield code="j">2002</subfield><subfield code="e">3</subfield><subfield code="h">439</subfield><subfield code="g">1</subfield></datafield></record></collection>
author	Avigad, J.
spellingShingle	Avigad, J. ddc 100 fid PHILOS A realizability interpretation for classical arithmetic.
authorStr	Avigad, J.
ppnlink_with_tag_str_mv	@@773@@(DE-627)186453000
format	Article
dewey-ones	100 - Philosophy & psychology 510 - Mathematics
delete_txt_mv	keep
author_role	aut
collection	OLC
remote_str	false
illustrated	Not Illustrated
issn	1079-8986
topic_title	100 510 PHILOS fid A realizability interpretation for classical arithmetic
topic	ddc 100 fid PHILOS
topic_unstemmed	ddc 100 fid PHILOS
topic_browse	ddc 100 fid PHILOS
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
author2_variant	u b ub
hierarchy_parent_title	The bulletin of symbolic logic
hierarchy_parent_id	186453000
dewey-tens	100 - Philosophy 510 - Mathematics
hierarchy_top_title	The bulletin of symbolic logic
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)186453000 (DE-600)1235752-2 (DE-576)046714405
title	A realizability interpretation for classical arithmetic.
ctrlnum	(DE-627)OLC163158961X (DE-599)GBVOLC163158961X
title_full	A realizability interpretation for classical arithmetic
author_sort	Avigad, J.
journal	The bulletin of symbolic logic
journalStr	The bulletin of symbolic logic
isOA_bool	false
dewey-hundreds	100 - Philosophy & psychology 500 - Science
recordtype	marc
publishDateSort	2002
contenttype_str_mv	txt
container_start_page	439
author_browse	Avigad, J.
container_volume	8
physical	1
class	100 510 PHILOS fid
format_se	Aufsätze
author-letter	Avigad, J.
dewey-full	100 510
title_sort	realizability interpretation for classical arithmetic
title_auth	A realizability interpretation for classical arithmetic.
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-PHILOS SSG-OLC-MAT SSG-OPC-MAT GBV_ILN_11 GBV_ILN_22 GBV_ILN_24 GBV_ILN_40 GBV_ILN_65 GBV_ILN_69 GBV_ILN_70 GBV_ILN_120 GBV_ILN_285 GBV_ILN_2002 GBV_ILN_2003 GBV_ILN_2004 GBV_ILN_2006 GBV_ILN_2007 GBV_ILN_2012 GBV_ILN_2015 GBV_ILN_2088 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4012 GBV_ILN_4028 GBV_ILN_4036 GBV_ILN_4046 GBV_ILN_4112 GBV_ILN_4125 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4310 GBV_ILN_4314 GBV_ILN_4317 GBV_ILN_4323 GBV_ILN_4324 GBV_ILN_4700
container_issue	3
title_short	A realizability interpretation for classical arithmetic.
remote_bool	false
author2	Berger, Ulrich
author2Str	Berger, Ulrich
ppnlink	186453000
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth
up_date	2024-07-03T14:02:45.750Z
_version_	1803566832155623424
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC163158961X</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230706180615.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">021014s2002 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW021014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC163158961X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC163158961X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">100</subfield><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHILOS</subfield><subfield code="2">fid</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Avigad, J.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="2"><subfield code="a">A realizability interpretation for classical arithmetic.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berger, Ulrich</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The bulletin of symbolic logic</subfield><subfield code="d">Cambridge : Cambridge Univ. Press, 1995</subfield><subfield code="g">8(2002), 3, Seite 439</subfield><subfield code="w">(DE-627)186453000</subfield><subfield code="w">(DE-600)1235752-2</subfield><subfield code="w">(DE-576)046714405</subfield><subfield code="x">1079-8986</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:8</subfield><subfield code="g">year:2002</subfield><subfield code="g">number:3</subfield><subfield code="g">pages:439</subfield><subfield code="g">extent:1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-PHILOS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2002</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2003</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2004</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2007</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2088</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4028</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4036</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4046</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4112</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4125</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4266</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4310</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4314</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4317</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4323</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4700</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">8</subfield><subfield code="j">2002</subfield><subfield code="e">3</subfield><subfield code="h">439</subfield><subfield code="g">1</subfield></datafield></record></collection>
score	7.3995256

Nicht das Richtige dabei?

Schreiben Sie uns!

A realizability interpretation for classical arithmetic.

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?