lgli/G:/!upload/are/Asins/Mathematical Interpretation of Formal Systems (Studies in Logic and the Foundations of Mathematics) (Th. Skolem) B0028ZRXKU.pdf
Mathematical Interpretation of Formal Systems 🔍
Gisbert Hasenjaeger; Georg Kreisel; Thoralf Skolem
North-Holland Publishing Company, Studies in logic and the foundations of mathematics, Amsterdam, London, United Kingdom, 1971
英语 [en] · PDF · 1.8MB · 1971 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save
描述
Th. Skolem ... [et Al.]. Contains The Lectures, Held At The Symposion [sic] On Mathematical Interpretation Of Formal Systems Which Was Organized By The Wiskundig Genootschap (mathematical Society) At Amsterdam On September 9 And 10, 1954. English Or French. Includes Bibliographical References.
备用文件名
lgrsnf/G:/!upload/are/Asins/Mathematical Interpretation of Formal Systems (Studies in Logic and the Foundations of Mathematics) (Th. Skolem) B0028ZRXKU.pdf
备用文件名
nexusstc/Mathematical Interpretation of Formal Systems/f0441e249d379b7e7a8059e8d4261721.pdf
备用文件名
zlib/Mathematics/Th. Skolem/Mathematical Interpretation of Formal Systems_763692.pdf
备选作者
Wiskundig Genootschap (Netherlands)
备选作者
Wiskundig Genootschap Te Amsterdam
备选作者
Th. Skolem ... [et al.]
备用出版商
Elsevier
备用版本
Studies in logic and the foundations of mathematics, 2d ed., Amsterdam, Netherlands, 1971
备用版本
Studies in logic and the foundations of mathematics, 2nd ed, Amsterdam, 1971
备用版本
United States, United States of America
元数据中的注释
0
元数据中的注释
lg338106
元数据中的注释
{"isbns":["0720422264","9780720422269"],"last_page":116,"publisher":"North-Holland Publishing Company","series":"Studies in Logic and the Foundations of Mathematics"}
元数据中的注释
Includes bibliographical references.
"Contains the lectures, held at the symposion [sic] on Mathematical interpretation of formal systems which was organized by the Wiskundig Genootschap (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
English or French.
"Contains the lectures, held at the symposion [sic] on Mathematical interpretation of formal systems which was organized by the Wiskundig Genootschap (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
English or French.
开源日期
2011-01-06
ISBN-13978-0-7204-2226-9
ISBN-100-7204-2226-4
ISSN0049-237X
OCLC180017491
OCLC248107
OCLC751083415
AacIdaacid__gbooks_records__20240920T051416Z__dnSn32QKHwE4MwopsZjn3c
AacIdaacid__isbngrp_records__20240920T194930Z__D299FcSyUBm9PeWQQRfqcL
AacIdaacid__nexusstc_records__20240516T164217Z__BDPwMwo8HZtypaza4vTjyS
AacIdaacid__worldcat__20250804T000000Z__3bSqNkoATQBP2efMKSjJS3
AacIdaacid__worldcat__20250804T000000Z__D3FknVnQvDyfozujbHZogo
AacIdaacid__worldcat__20250804T000000Z__NJhyrAGibZb56DEMn58FCZ
AacIdaacid__worldcat__20250804T000000Z__SGt385sUKYjkkGin8DgU9T
AacIdaacid__worldcat__20250804T000000Z__SJkcR5eNeYd66FLWDURBBE
AacIdaacid__worldcat__20250804T000000Z__UUym3ixnPvyMumcC8iwxhr
AacIdaacid__worldcat__20250804T000000Z__YiYhTUgXBQTspbBTt6UAi2
AacIdaacid__worldcat__20250804T000000Z__ankYidcoib2Ckhs7aP24eq
AacIdaacid__worldcat__20250804T000000Z__cqbp2q2NsMmZKL7qpzxDzq
AacIdaacid__worldcat__20250804T000000Z__hZmWhacZodHr2w9HXt9DDk
AacIdaacid__worldcat__20250804T000000Z__hwEPTMeZy6Y2zZxTKwtyC4
AacIdaacid__worldcat__20250804T000000Z__mdKW3uXtgykULsPhocTP2J
AacIdaacid__zlib3_records__20240809T232418Z__763692__ZRpgVkecseNVW83gbSstEo
AA Record IDmd5:f0441e249d379b7e7a8059e8d4261721
ASINB0028ZRXKU
Collectionlgli
Collectionlgrs
Collectionnexusstc
Collectionzlib
Content Typebook_nonfiction
SHA-2565f93820b
Google Books Source Scrape Date2024-09-20
ISBNdb Scrape Date2022-09-01
ISBN GRP Source Scrape Date2024-09-20
Libgen.li Source Date2011-01-06
Libgen.rs Non-Fiction Date2011-01-06
Nexus/STC Source issued_at Date1971-01-01
Nexus/STC Source Updated Date2024-05-16
OCLC Scrape Date2025-01-01
OpenLib 'created' Date2008-04-01
Z-Library Source Date2019-04-08
DDC511/.3
Filepathlgli/G:/!upload/are/Asins/Mathematical Interpretation of Formal Systems (Studies in Logic and the Foundations of Mathematics) (Th. Skolem) B0028ZRXKU.pdf
Filepathlgrsnf/G:/!upload/are/Asins/Mathematical Interpretation of Formal Systems (Studies in Logic and the Foundations of Mathematics) (Th. Skolem) B0028ZRXKU.pdf
Filepathnexusstc/Mathematical Interpretation of Formal Systems/f0441e249d379b7e7a8059e8d4261721.pdf
Filepathzlib/Mathematics/Th. Skolem/Mathematical Interpretation of Formal Systems_763692.pdf
Filesize1848412
Google BooksMrtgQgAACAAJ
Goodreads3663371
IPFS CIDQmX7jehNykreAh15iEGYAvkhKUi8KGPobtdUg1snAizu31
IPFS CIDbafykbzacebpw657bjvhsadnp5sbqmlodxcvljizjqbqbmhvhojoli2xy3ipem
ISBN GRP ID8a14c48894253b3d755c3fdc2f518d64
Languageen
LCCQA9 .W72 1971
LCCN75310950
Libgen.li File91438041
Libgen.li libgen_id338106
Libgen.rs Non-Fiction338106
Libgen.rs Non-Fiction Topicmathematics\\logic
MD5f0441e249d379b7e7a8059e8d4261721
Nexus/STCcs8d2tdeq5jymukh1ih4joz8k
OCLC Editions16
OCLC Editions (from search_holdings_all_editions_response)16
OCLC Editions (from search_holdings_summary_all_editions)15
OCLC 'From Filename'2023_05_v4_type123/1090/1090035539
OCLC 'From Filename'2023_05_v4_type123/6224/622486856
OCLC 'From Filename'search_editions_response/248107
OCLC 'From Filename'search_holdings_summary_all_editions/248107/index/101895
OCLC 'From Filename'w2/v7/1021/1021386134
OCLC 'From Filename'w2/v7/1185/1185453748
OCLC 'From Filename'w2/v7/1635/163504734
OCLC 'From Filename'w2/v7/1742/174210367
OCLC 'From Filename'w2/v7/2079/207915701
OCLC 'From Filename'w2/v7/6937/693783408
OCLC 'From Filename'w2/v7/8718/871809642
OCLC 'From Filename'worldcat_2022_09_titles_1_backup_2022_10_12/000/0000248
OCLC 'From Filename'worldcat_2022_09_titles_1_backup_2022_10_12/v3/0181/18152282
OCLC 'From Filename'worldcat_2022_09_titles_1_backup_2022_10_12/v3/0720/72042226
Open LibraryOL21702388M
Open LibraryOL5239790M
Open LibraryOL6632246W
Open Library Source Recordharvard_bibliographic_metadata/20220215_006.bib.mrc:339624976:2100
Open Library Source Recordia:mathematicalinte00skol
Open Library Source Recordia:mathematicalinte00tsko
Open Library Source Recordmarc_loc_2016/BooksAll.2016.part09.utf8:63599416:1075
Open Library SubjectLogic, Symbolic and mathematical -- Congresses.
Server Pathg4/libgenrs_nonfiction/libgenrs_nonfiction/338000/f0441e249d379b7e7a8059e8d4261721
SHA-1kzqtcmqckzu7adxu6xe2owptnvdlpctn
SHA-2560dc44cd5c97f04978a0d7509d650108398fbe71c02c0f8a65de6b81e6ebc02ab
Torrentexternal/libgen_rs_non_fic/r_338000.torrent
Year1971
Z-Library763692
Zlib Category ID23
Zlib Category NameMathematics
ISBN-13:
978-0-7204-2226-9 / 9780720422269
ISBN-10:
0-7204-2226-4 / 0720422264
代码浏览器: 在代码浏览器中查看“isbn10:0720422264”
AacId:
aacid__gbooks_records__20240920T051416Z__dnSn32QKHwE4MwopsZjn3c
Anna’s Archive Container identifier.
AacId:
aacid__isbngrp_records__20240920T194930Z__D299FcSyUBm9PeWQQRfqcL
Anna’s Archive Container identifier.
AacId:
aacid__nexusstc_records__20240516T164217Z__BDPwMwo8HZtypaza4vTjyS
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__3bSqNkoATQBP2efMKSjJS3
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__D3FknVnQvDyfozujbHZogo
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__NJhyrAGibZb56DEMn58FCZ
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__SGt385sUKYjkkGin8DgU9T
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__SJkcR5eNeYd66FLWDURBBE
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__UUym3ixnPvyMumcC8iwxhr
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__YiYhTUgXBQTspbBTt6UAi2
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__ankYidcoib2Ckhs7aP24eq
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__cqbp2q2NsMmZKL7qpzxDzq
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__hZmWhacZodHr2w9HXt9DDk
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__hwEPTMeZy6Y2zZxTKwtyC4
Anna’s Archive Container identifier.
AacId:
aacid__worldcat__20250804T000000Z__mdKW3uXtgykULsPhocTP2J
Anna’s Archive Container identifier.
AacId:
aacid__zlib3_records__20240809T232418Z__763692__ZRpgVkecseNVW83gbSstEo
Anna’s Archive Container identifier.
AA Record ID:
md5:f0441e249d379b7e7a8059e8d4261721
Anna’s Archive record ID.
Collection:
lgli
The collection on Anna’s Archive that provided data for this record.
URL: /datasets/lgli
网站: /datasets
代码浏览器: 在代码浏览器中查看“collection:lgli”
Collection:
lgrs
The collection on Anna’s Archive that provided data for this record.
URL: /datasets/lgrs
网站: /datasets
代码浏览器: 在代码浏览器中查看“collection:lgrs”
Collection:
nexusstc
The collection on Anna’s Archive that provided data for this record.
URL: /datasets/nexusstc
网站: /datasets
Collection:
zlib
The collection on Anna’s Archive that provided data for this record.
URL: /datasets/zlib
网站: /datasets
代码浏览器: 在代码浏览器中查看“collection:zlib”
Content Type:
book_nonfiction
Content type, determined by Anna’s Archive.
SHA-256:
5f93820b
代码浏览器: 在代码浏览器中查看“crc32:5f93820b”
Google Books Source Scrape Date:
2024-09-20
Date Anna’s Archive scraped the Google Books collection.
网站: /datasets/gbooks
ISBNdb Scrape Date:
2022-09-01
The date that Anna’s Archive scraped this ISBNdb record.
网站: /datasets/isbndb
ISBN GRP Source Scrape Date:
2024-09-20
Date Anna’s Archive scraped the ISBN GRP collection.
Libgen.rs Non-Fiction Date:
2011-01-06
Date Libgen.rs Non_Fiction published this file.
网站: /datasets/lgrs
Nexus/STC Source issued_at Date:
1971-01-01
Date Nexus/STC reports in their issued_at field, which is the “issuing time of the item described by record.”
Nexus/STC Source Updated Date:
2024-05-16
Date Nexus/STC last updated this record.
OCLC Scrape Date:
2025-01-01
The date that Anna’s Archive scraped this OCLC/WorldCat record.
网站: /datasets/oclc
OpenLib 'created' Date:
2008-04-01
The 'created' metadata field on the Open Library, indicating when the first version of this record was created.
网站: /datasets/ol
Filepath:
lgli/G:/!upload/are/Asins/Mathematical Interpretation of Formal Systems (Studies in Logic and the Foundations of Mathematics) (Th. Skolem) B0028ZRXKU.pdf
Browse collections using their original file paths (particularly 'upload' is interesting)
Filepath:
lgrsnf/G:/!upload/are/Asins/Mathematical Interpretation of Formal Systems (Studies in Logic and the Foundations of Mathematics) (Th. Skolem) B0028ZRXKU.pdf
Browse collections using their original file paths (particularly 'upload' is interesting)
Filepath:
nexusstc/Mathematical Interpretation of Formal Systems/f0441e249d379b7e7a8059e8d4261721.pdf
Browse collections using their original file paths (particularly 'upload' is interesting)
Filepath:
zlib/Mathematics/Th. Skolem/Mathematical Interpretation of Formal Systems_763692.pdf
Browse collections using their original file paths (particularly 'upload' is interesting)
Filesize:
1848412
Filesize in bytes.
Google Books:
MrtgQgAACAAJ
网站: /datasets/gbooks
IPFS CID:
QmX7jehNykreAh15iEGYAvkhKUi8KGPobtdUg1snAizu31
Content Identifier (CID) of the InterPlanetary File System (IPFS).
IPFS CID:
bafykbzacebpw657bjvhsadnp5sbqmlodxcvljizjqbqbmhvhojoli2xy3ipem
Content Identifier (CID) of the InterPlanetary File System (IPFS).
ISBN GRP ID:
8a14c48894253b3d755c3fdc2f518d64
ISBN GRP ID.
Libgen.li File:
91438041
Global file ID in Libgen.li. Directly taken from the 'f_id' field in the 'files' table.
网站: /datasets/lgli
代码浏览器: 在代码浏览器中查看“lgli:91438041”
Libgen.li libgen_id:
338106
Repository ID for the 'libgen' repository in Libgen.li. Directly taken from the 'libgen_id' field in the 'files' table. Corresponds to the 'thousands folder' torrents.
网站: /datasets/lgli
Libgen.rs Non-Fiction:
338106
Repository ID for the non-fiction ('libgen') repository in Libgen.rs. Directly taken from the 'id' field in the 'updated' table. Corresponds to the 'thousands folder' torrents.
网站: /datasets/lgrs
代码浏览器: 在代码浏览器中查看“lgrsnf:338106”
Libgen.rs Non-Fiction Topic:
mathematics\\logic
Libgen’s own classification system of 'topics' for non-fiction books. Obtained from the 'topic' metadata field, using the 'topics' database table, which seems to have its roots in the Kolxo3 library that Libgen was originally based on. https://web.archive.org/web/20250303231041/https://wiki.mhut.org/content:bibliographic_data says that this field will be deprecated in favor of Dewey Decimal.
网站: /datasets/lgrs
MD5:
f0441e249d379b7e7a8059e8d4261721
Nexus/STC:
cs8d2tdeq5jymukh1ih4joz8k
ID of an individual edition of a file in Nexus/STC.
OCLC Editions:
16
Number of editions (unique OCLC IDs) reported by OCLC/WorldCat metadata. 'many' means 20 or more.
网站: /datasets/oclc
代码浏览器: 在代码浏览器中查看“oclc_editions:16”
OCLC Editions (from search_holdings_all_editions_response):
16
网站: /datasets/oclc
OCLC Editions (from search_holdings_summary_all_editions):
15
网站: /datasets/oclc
OCLC 'From Filename':
2023_05_v4_type123/1090/1090035539
网站: /datasets/oclc
OCLC 'From Filename':
2023_05_v4_type123/6224/622486856
网站: /datasets/oclc
OCLC 'From Filename':
search_editions_response/248107
网站: /datasets/oclc
OCLC 'From Filename':
search_holdings_summary_all_editions/248107/index/101895
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/1021/1021386134
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/1185/1185453748
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/1635/163504734
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/1742/174210367
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/2079/207915701
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/6937/693783408
网站: /datasets/oclc
OCLC 'From Filename':
w2/v7/8718/871809642
网站: /datasets/oclc
OCLC 'From Filename':
worldcat_2022_09_titles_1_backup_2022_10_12/000/0000248
网站: /datasets/oclc
OCLC 'From Filename':
worldcat_2022_09_titles_1_backup_2022_10_12/v3/0181/18152282
网站: /datasets/oclc
OCLC 'From Filename':
worldcat_2022_09_titles_1_backup_2022_10_12/v3/0720/72042226
网站: /datasets/oclc
Open Library:
OL21702388M
代码浏览器: 在代码浏览器中查看“ol:OL21702388M”
Open Library:
OL5239790M
代码浏览器: 在代码浏览器中查看“ol:OL5239790M”
Open Library:
OL6632246W
代码浏览器: 在代码浏览器中查看“ol:OL6632246W”
Open Library Source Record:
harvard_bibliographic_metadata/20220215_006.bib.mrc:339624976:2100
The code for a source record that Open Library imported from.
网站: /datasets/ol
Open Library Source Record:
ia:mathematicalinte00skol
The code for a source record that Open Library imported from.
网站: /datasets/ol
Open Library Source Record:
ia:mathematicalinte00tsko
The code for a source record that Open Library imported from.
网站: /datasets/ol
Open Library Source Record:
marc_loc_2016/BooksAll.2016.part09.utf8:63599416:1075
The code for a source record that Open Library imported from.
网站: /datasets/ol
Open Library Subject:
Logic, Symbolic and mathematical -- Congresses.
Tag in Open Library.
网站: /datasets/ol
Server Path:
g4/libgenrs_nonfiction/libgenrs_nonfiction/338000/f0441e249d379b7e7a8059e8d4261721
Path on Anna’s Archive partner servers.
SHA-1:
kzqtcmqckzu7adxu6xe2owptnvdlpctn
SHA-256:
0dc44cd5c97f04978a0d7509d650108398fbe71c02c0f8a65de6b81e6ebc02ab
Torrent:
external/libgen_rs_non_fic/r_338000.torrent
Bulk torrent for long-term preservation.
网站: /torrents
Z-Library:
763692
ID in Z-Library.
URL: https://z-lib.gd/
网站: /datasets/zlib
代码浏览器: 在代码浏览器中查看“zlib:763692”
Zlib Category ID:
23
Category ID on the Z-Library website.
Zlib Category Name:
Mathematics
Name for the zlib_category_id (category ID on the Z-Library website).
🚀 快速下载
成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持,您将获得高速下载权益。❤️
如果您在本月捐款,您将获得双倍的快速下载次数。
今日下载剩余 XXXXXX 次。感谢您成为会员!❤️
你已经用完了今日的高速下载次数。
你最近下载过此文件。链接在一段时间内仍然有效。
🐢 低速下载
由可信的合作方提供。 更多信息请参见常见问题解答。 (可能需要验证浏览器——无限次下载!)
- 低速服务器(合作方提供) #1 (稍快但需要排队)
- 低速服务器(合作方提供) #2 (稍快但需要排队)
- 低速服务器(合作方提供) #3 (稍快但需要排队)
- 低速服务器(合作方提供) #4 (稍快但需要排队)
- 低速服务器(合作方提供) #5 (无需排队,但可能非常慢)
- 低速服务器(合作方提供) #6 (无需排队,但可能非常慢)
- 低速服务器(合作方提供) #7 (无需排队,但可能非常慢)
- 低速服务器(合作方提供) #8 (无需排队,但可能非常慢)
- 低速服务器(合作方提供) #9 (无需排队,但可能非常慢)
- 下载后: 在我们的查看器中打开
所有选项下载的文件都相同,应该可以安全使用。即使这样,从互联网下载文件时始终要小心。例如,确保您的设备更新及时。
外部下载
- Libgen.rs 非虚构文学板块
- Libgen.li (点击顶部的“GET”) 已知他们的广告包含恶意软件,因此请使用广告拦截器或不要点击广告
- Nexus/STC (Nexus/STC 文件下载可能不可靠)
- IPFS
- Z-Library
- Z-Library TOR (需要TOR浏览器)
- Z-Library
- Z-Library TOR (需要TOR浏览器)
- 批量种子下载 (仅限专家) 馆藏 “libgen_rs_non_fic” → 种子 “r_338000.torrent” → file “f0441e249d379b7e7a8059e8d4261721”
-
对于大文件,我们建议使用下载管理器以防止中断。
推荐的下载管理器:JDownloader -
您将需要一个电子书或 PDF 阅读器来打开文件,具体取决于文件格式。
推荐的电子书阅读器:Anna的档案在线查看器、ReadEra和Calibre -
使用在线工具进行格式转换。
推荐的转换工具:CloudConvert和PrintFriendly -
您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
推荐的工具:亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle” -
支持作者和图书馆
✍️ 如果您喜欢这个并且能够负担得起,请考虑购买原版,或直接支持作者。
📚 如果您当地的图书馆有这本书,请考虑在那里免费借阅。
下面的文字仅以英文继续。
总下载量:
“文件的MD5”是根据文件内容计算出的哈希值,并且基于该内容具有相当的唯一性。我们这里索引的所有影子图书馆都主要使用MD5来标识文件。
一个文件可能会出现在多个影子图书馆中。有关我们编译的各种数据集的信息,请参见数据集页面。
有关此文件的详细信息,请查看其JSON 文件。 Live/debug JSON version. Live/debug page.