zlib/no-category/Summer School in Logic, NATO Advanced Study Institute, Association for Symbolic Logic, SpringerLink (Online service)/Proceedings of the Summer School in Logic_121881813.pdf
Proceedings of the Summer School in Logik, Leeds, 1967 : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic 🔍
Summer School in Logic, NATO Advanced Study Institute, Association for Symbolic Logic, SpringerLink (Online service)
Berlin ; New York : Springer-Verlag, 1967
English [en] · PDF · 13.1MB · 1967 · 📗 Book (unknown) · zlib · Save
description
Loeb M.H. Proceedings of the Summer School in Logic, Leeds, 1967. NATO ASI Meeting of the Association for Symbolic Logic (LNM0070, Springer, 1968)(ISBN 3540042407)(1s)_Mln_, Series: Lecture Notes in Mathematics, Issue: 1, Edition: 1, Mode of access: Internet
Alternative title
Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
Alternative title
Proceedings Of The Summer School Of Logic Leeds, 1967. Lecture Notes In Mathematics 70
Alternative author
M. H. Lob, Editor
Alternative author
Martin H. Löb
Alternative publisher
Springer Spektrum. in Springer-Verlag GmbH
Alternative publisher
Steinkopff. in Springer-Verlag GmbH
Alternative publisher
Springer Berlin Heidelberg
Alternative edition
Lecture notes in mathematics (Springer-Verlag), 70, Berlin, Heidelberg, 1968
Alternative edition
Springer Nature, Berlin, Heidelberg, 2006
Alternative edition
Germany, Germany
Alternative edition
Jan 01, 1968
metadata comments
类型: 图书
metadata comments
出版日期: 2008
metadata comments
出版社: Springer
metadata comments
Source title: Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics)
Alternative description
Lecture Notes in Mathematics
Erscheinungsdatum: 01.01.1968
Erscheinungsdatum: 01.01.1968
date open sourced
2026-02-11
ISBN-13978-3-540-04240-2
ISBN-13978-3-540-35886-2
ISBN-103-540-04240-7
ISBN-103-540-35886-2
DOI10.1007/bfb0079093
OCLC1120592522
OCLC294977597
OCLC793077862
AacIdaacid__ebscohost_records__20240823T162621Z__Bw3SbPNgQer4suQaUy8rMc
AacIdaacid__isbngrp_records__20240920T194930Z__8JfHF94RsN4Nqp7gmFimRA
AacIdaacid__isbngrp_records__20240920T194930Z__9E5RZT4X44t8r4ELPiTvZx
AacIdaacid__isbngrp_records__20240920T194930Z__d2gWv8o8AXiZwwPoNMbsx2
AacIdaacid__kulturpass_records__20241229T210957Z__QYiwPNpoiwQ4wxrHbopgrJ
AacIdaacid__worldcat__20250804T000000Z__Eu5TRxGHrhMhWy3KiAf5Ns
AacIdaacid__worldcat__20250804T000000Z__GXfPTvtzVAh7DEwvsWzUFe
AacIdaacid__worldcat__20250804T000000Z__HVmG3iCopgYT7soRxsMLfV
AacIdaacid__worldcat__20250804T000000Z__PPTPr7eQSgUkJXdkc2ydZx
AacIdaacid__worldcat__20250804T000000Z__Qb7SfhUPLg74XYzrpsyh32
AacIdaacid__worldcat__20250804T000000Z__ShqjgXYWFJNNhnKrkNEBLz
AacIdaacid__worldcat__20250804T000000Z__ZLE9ysJpJyLvWFL7Mowd45
AacIdaacid__worldcat__20250804T000000Z__c8tBudqgkiEsqQ7eosB3dx
AacIdaacid__worldcat__20250804T000000Z__d5yvEwD9SnACvKEhifMG2m
AacIdaacid__zhizhen_records__20260215T000000Z__gHwUSWKpThBg7qFK83hLZT
AacIdaacid__zlib3_records__20260211T230840Z__121881813__N3GcgJBi6TcgxJUPsgpEhV
AA Record IDmd5:a90954cbb183325670ce18ce2b88dc1c
Collectionzlib
Content Typebook_unknown
EBSCOhost eBook Index Source Scrape Date2024-08-23
ISBNdb Scrape Date2022-09-01
ISBN GRP Source Scrape Date2024-09-20
kulturpass Source Scrape Date2024-12-29
OCLC Scrape Date2025-01-01
OpenLib 'created' Date2020-05-25
Zhizhen Source Scrape Date2026-02-15
Z-Library Source Date2026-02-11
DDC511.3
DuXiu DXID164032476583
EBSCOhost eBook Index Accession Number2833012
EBSCOhost eBook Index Subjectbisac/MATHEMATICS / Logic
EBSCOhost eBook Index Subjectunclass/Mathematical logic
Filepathzlib/no-category/Summer School in Logic, NATO Advanced Study Institute, Association for Symbolic Logic, SpringerLink (Online service)/Proceedings of the Summer School in Logic_121881813.pdf
Filesize13141017
ISBN GRP ID4b946da99117d9d8ae6178d7f49a99d9
ISBN GRP ID76f8377f9570e197cae86ac1d61036c3
ISBN GRP ID85f1a02dfe924683c291141aaa262ef5
Kulturpass IDmp-01006935
Languageen
LCCQA1-939
LCCQA8.9-10.3
MD5a90954cbb183325670ce18ce2b88dc1c
OCLC 'From Filename'2023_04_v3/1240/1240257388
OCLC 'From Filename'2023_04_v3/2445/244552765
OCLC 'From Filename'2023_04_v3/6096/60967866
OCLC 'From Filename'2023_05_v4_type123/9840/984085256
OCLC 'From Filename'search_editions_response/525584
OCLC 'From Filename'w2/v6/1104/1104212350
OCLC 'From Filename'w2/v7/1108/1108094872
OCLC 'From Filename'w2/v7/4480/448044030
OCLC 'From Filename'w2/v7/6882/688260613
OCLC 'From Filename'worldcat_2022_09_titles_1_backup_2022_10_12/v3/0618/61808213
OCLC 'From Filename'worldcat_2022_09_titles_1_backup_2022_10_12/v3/0988/98808749
OCLC 'From Filename'worldcat_2022_09_titles_1_backup_2022_10_12/v3/1078/107874156
Open LibraryOL20790134W
Open LibraryOL28140542M
Open Library Source Recordamazon:3540042407
Open Library Source Recordbwb:9783540042402
Open Library Source Recordharvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:973528978:1230
Year1967
Year1968
Year2006
Year2008
Zhizhen Title ID38502727e7500f266e8e30d236e493a33ed56a7906834d301921b0a3ea255101ff20232bc5d72713bf34a5654d3fac4d6fd17a810c7967182b9a0e1541b7ed3ef78e1d01ecffc3c1d1553f756a100aff
Z-Library121881813
ISBN-13:
978-3-540-04240-2 / 9783540042402
Website: https://en.wikipedia.org/wiki/ISBN
Codes Explorer: View in Codes Explorer “isbn13:9783540042402”
ISBN-13:
978-3-540-35886-2 / 9783540358862
Website: https://en.wikipedia.org/wiki/ISBN
Codes Explorer: View in Codes Explorer “isbn13:9783540358862”
ISBN-10:
3-540-04240-7 / 3540042407
Website: https://en.wikipedia.org/wiki/ISBN
Codes Explorer: View in Codes Explorer “isbn10:3540042407”
ISBN-10:
3-540-35886-2 / 3540358862
Website: https://en.wikipedia.org/wiki/ISBN
Codes Explorer: View in Codes Explorer “isbn10:3540358862”
DOI:
10.1007/bfb0079093
Digital Object Identifier
Codes Explorer: View in Codes Explorer “doi:10.1007/bfb0079093”
OCLC:
1120592522
OCLC/WorldCat ID.
Website: /datasets/oclc
Codes Explorer: View in Codes Explorer “oclc:1120592522”
OCLC:
294977597
OCLC/WorldCat ID.
Website: /datasets/oclc
Codes Explorer: View in Codes Explorer “oclc:294977597”
OCLC:
793077862
OCLC/WorldCat ID.
Website: /datasets/oclc
Codes Explorer: View in Codes Explorer “oclc:793077862”
AacId:
aacid__ebscohost_records__20240823T162621Z__Bw3SbPNgQer4suQaUy8rMc
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__isbngrp_records__20240920T194930Z__8JfHF94RsN4Nqp7gmFimRA
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__isbngrp_records__20240920T194930Z__9E5RZT4X44t8r4ELPiTvZx
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__isbngrp_records__20240920T194930Z__d2gWv8o8AXiZwwPoNMbsx2
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__kulturpass_records__20241229T210957Z__QYiwPNpoiwQ4wxrHbopgrJ
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__Eu5TRxGHrhMhWy3KiAf5Ns
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__GXfPTvtzVAh7DEwvsWzUFe
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__HVmG3iCopgYT7soRxsMLfV
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__PPTPr7eQSgUkJXdkc2ydZx
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__Qb7SfhUPLg74XYzrpsyh32
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__ShqjgXYWFJNNhnKrkNEBLz
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__ZLE9ysJpJyLvWFL7Mowd45
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__c8tBudqgkiEsqQ7eosB3dx
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__worldcat__20250804T000000Z__d5yvEwD9SnACvKEhifMG2m
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__zhizhen_records__20260215T000000Z__gHwUSWKpThBg7qFK83hLZT
Anna’s Archive Container identifier.
Website: /blog/annas-archive-containers.html
AacId:
aacid__zlib3_records__20260211T230840Z__121881813__N3GcgJBi6TcgxJUPsgpEhV
Anna’s Archive Container identifier.
URL: /db/aac_record/aacid__zlib3_records__20260211T230840Z__121881813__N3GcgJBi6TcgxJUPsgpEhV.json.html
Website: /blog/annas-archive-containers.html
AA Record ID:
md5:a90954cbb183325670ce18ce2b88dc1c
Anna’s Archive record ID.
Collection:
zlib
The collection on Anna’s Archive that provided data for this record.
URL: /datasets/zlib
Website: /datasets
Codes Explorer: View in Codes Explorer “collection:zlib”
Content Type:
book_unknown
Content type, determined by Anna’s Archive.
Codes Explorer: View in Codes Explorer “content_type:book_unknown”
EBSCOhost eBook Index Source Scrape Date:
2024-08-23
Date Anna’s Archive scraped the EBSCOhost metadata.
Website: /datasets/edsebk
Codes Explorer: View in Codes Explorer “date_edsebk_meta_scrape:2024-08-23”
ISBNdb Scrape Date:
2022-09-01
The date that Anna’s Archive scraped this ISBNdb record.
Website: /datasets/isbndb
Codes Explorer: View in Codes Explorer “date_isbndb_scrape:2022-09-01”
ISBN GRP Source Scrape Date:
2024-09-20
Date Anna’s Archive scraped the ISBN GRP collection.
Website: /datasets/isbngrp
Codes Explorer: View in Codes Explorer “date_isbngrp_meta_scrape:2024-09-20”
kulturpass Source Scrape Date:
2024-12-29
Date Anna’s Archive scraped the kulturpass collection.
Website: /datasets/kulturpass
Codes Explorer: View in Codes Explorer “date_kulturpass_meta_scrape:2024-12-29”
OCLC Scrape Date:
2025-01-01
The date that Anna’s Archive scraped this OCLC/WorldCat record.
Website: /datasets/oclc
Codes Explorer: View in Codes Explorer “date_oclc_scrape:2025-01-01”
OpenLib 'created' Date:
2020-05-25
The 'created' metadata field on the Open Library, indicating when the first version of this record was created.
Website: /datasets/ol
Codes Explorer: View in Codes Explorer “date_ol_source:2020-05-25”
Zhizhen Source Scrape Date:
2026-02-15
Date Anna’s Archive scraped the Zhizhen collection.
Website: /datasets/zhizhen
Codes Explorer: View in Codes Explorer “date_zhizhen_meta_scrape:2026-02-15”
Z-Library Source Date:
2026-02-11
Date Z-Library published this file.
Website: /datasets/zlib
Codes Explorer: View in Codes Explorer “date_zlib_source:2026-02-11”
DuXiu DXID:
164032476583
Metadata from Zhizhen.
Website: /datasets/duxiu
Codes Explorer: View in Codes Explorer “duxiu_dxid:164032476583”
EBSCOhost eBook Index Accession Number:
2833012
ID in the EBSCOhost eBook Index (edsebk).
Website: /datasets/edsebk
Codes Explorer: View in Codes Explorer “edsebk:2833012”
EBSCOhost eBook Index Subject:
bisac/MATHEMATICS / Logic
Tag in EBSCOhost eBook Index.
Website: /datasets/edsebk
EBSCOhost eBook Index Subject:
unclass/Mathematical logic
Tag in EBSCOhost eBook Index.
Website: /datasets/edsebk
Filepath:
zlib/no-category/Summer School in Logic, NATO Advanced Study Institute, Association for Symbolic Logic, SpringerLink (Online service)/Proceedings of the Summer School in Logic_121881813.pdf
Browse collections using their original file paths (particularly 'upload' is interesting)
Filesize:
13141017
Filesize in bytes.
Codes Explorer: View in Codes Explorer “filesize_bytes:13141017”
Kulturpass ID:
mp-01006935
Kulturpass ID.
Website: /datasets/kulturpass
Codes Explorer: View in Codes Explorer “kulturpass:mp-01006935”
LCC:
QA1-939
Library of Congress Classification
Codes Explorer: View in Codes Explorer “lcc:QA1-939”
LCC:
QA8.9-10.3
Library of Congress Classification
Codes Explorer: View in Codes Explorer “lcc:QA8.9-10.3”
MD5:
a90954cbb183325670ce18ce2b88dc1c
Website: https://en.wikipedia.org/wiki/MD5
Codes Explorer: View in Codes Explorer “md5:a90954cbb183325670ce18ce2b88dc1c”
OCLC 'From Filename':
2023_04_v3/1240/1240257388
Website: /datasets/oclc
OCLC 'From Filename':
2023_04_v3/2445/244552765
Website: /datasets/oclc
OCLC 'From Filename':
2023_04_v3/6096/60967866
Website: /datasets/oclc
OCLC 'From Filename':
2023_05_v4_type123/9840/984085256
Website: /datasets/oclc
OCLC 'From Filename':
search_editions_response/525584
Website: /datasets/oclc
OCLC 'From Filename':
w2/v6/1104/1104212350
Website: /datasets/oclc
OCLC 'From Filename':
w2/v7/1108/1108094872
Website: /datasets/oclc
OCLC 'From Filename':
w2/v7/4480/448044030
Website: /datasets/oclc
Codes Explorer: View in Codes Explorer “oclc_from_filename:w2/v7/4480/448044030”
OCLC 'From Filename':
w2/v7/6882/688260613
Website: /datasets/oclc
Codes Explorer: View in Codes Explorer “oclc_from_filename:w2/v7/6882/688260613”
OCLC 'From Filename':
worldcat_2022_09_titles_1_backup_2022_10_12/v3/0618/61808213
Website: /datasets/oclc
OCLC 'From Filename':
worldcat_2022_09_titles_1_backup_2022_10_12/v3/0988/98808749
Website: /datasets/oclc
OCLC 'From Filename':
worldcat_2022_09_titles_1_backup_2022_10_12/v3/1078/107874156
Website: /datasets/oclc
Open Library:
OL20790134W
Codes Explorer: View in Codes Explorer “ol:OL20790134W”
Open Library:
OL28140542M
Codes Explorer: View in Codes Explorer “ol:OL28140542M”
Open Library Source Record:
amazon:3540042407
The code for a source record that Open Library imported from.
Website: /datasets/ol
Codes Explorer: View in Codes Explorer “openlib_source_record:amazon:3540042407”
Open Library Source Record:
bwb:9783540042402
The code for a source record that Open Library imported from.
Website: /datasets/ol
Codes Explorer: View in Codes Explorer “openlib_source_record:bwb:9783540042402”
Open Library Source Record:
harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:973528978:1230
The code for a source record that Open Library imported from.
Website: /datasets/ol
Zhizhen Title ID:
38502727e7500f266e8e30d236e493a33ed56a7906834d301921b0a3ea255101ff20232bc5d72713bf34a5654d3fac4d6fd17a810c7967182b9a0e1541b7ed3ef78e1d01ecffc3c1d1553f756a100aff
Website: /datasets/zhizhen
Z-Library:
121881813
ID in Z-Library.
URL: https://z-lib.gd/
Website: /datasets/zlib
Codes Explorer: View in Codes Explorer “zlib:121881813”
All download options have the same file, and should be safe to use. That said, always be cautious when downloading files from the internet, especially from sites external to Anna’s Archive. For example, be sure to keep your devices updated.
- Z-Library
- Z-Library on Tor (requires the Tor Browser)
- Sci-Hub: 10.1007/bfb0079093 (associated DOI might not be available in Sci-Hub)
- Bulk torrents not yet available for this file. If you have this file, help out by uploading.
-
For large files, we recommend using a download manager to prevent interruptions.
Recommended download managers: Motrix -
You will need an ebook or PDF reader to open the file, depending on the file format.
Recommended ebook readers: Anna’s Archive online viewer, ReadEra, and Calibre -
Use online tools to convert between formats.
Recommended conversion tools: CloudConvert and PrintFriendly -
You can send both PDF and EPUB files to your Kindle or Kobo eReader.
Recommended tools: Amazon‘s “Send to Kindle” and djazz‘s “Send to Kobo/Kindle” -
Support authors and libraries
✍️ If you like this and can afford it, consider buying the original, or supporting the authors directly.
📚 If this is available at your local library, consider borrowing it for free there.
Total downloads:
A “file MD5” is a hash that gets computed from the file contents, and is reasonably unique based on that content. All shadow libraries that we have indexed on here primarily use MD5s to identify files.
A file might appear in multiple shadow libraries. For information about the various datasets that we have compiled, see the Datasets page.
For information about this particular file, check out its JSON file. Live/debug JSON version. Live/debug page.