Mathematical Logic for Computer Science

Saved in:
Bibliographic Details
Published inMathematical Logic for Computer Science
Main Author Ben-Ari, Mordechai
Format Book Chapter
LanguageEnglish
Published United Kingdom Springer London, Limited 2012
Subjects
Mathematical foundations
Mathematical logic
Mathematical theory of computation
Online AccessGet full text
ISBN1447141288
9781447141280

Cover

Author Ben-Ari, Mordechai
Author_xml – sequence: 1
  fullname: Ben-Ari, Mordechai
BookMark eNqNjstOwzAQRY14iLb0H7JjVckeO7ZniSIelYJY0H00ccY0kMYhSf-fCpDYcjdHd3Gu7lJc9KnnM7FUxjhlFKA9_yveX4mFwxzRSA3XYj1N7_IUiy43eiFun2ne84HmNlCXlemtDVlMY1akw3CcecxeQ8t94BtxGambeP3Lldg93O-Kp0358rgt7srN4EFvdAQO5CEEBNfI6HIwNUBw0sqcHZKTBKxsQ5qljaaJTiGpBmrTeLSsV0L-zA5j-jzyNFdcp_QRuJ9H6sKehtOnqbJaKY9YQaX_qyipZf6tgP4CbOFXvg
ContentType Book Chapter
DBID FFUUA
DEWEY 511.3
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
EISBN 1447141296
9781447141297
ExternalDocumentID EBC6311899_2_3
EBC1030599_2_2
GroupedDBID -EI
089
0D6
0DA
0E8
38.
8V7
A4J
AABBV
AAFYB
AAPKO
ABFCL
ABFCV
ABMNI
ADWNV
AEJLV
AEKFX
AETDV
AEZAY
AIJHZ
AIMOO
ALMA_UNASSIGNED_HOLDINGS
AZZ
BBABE
CZZ
FFUUA
I4C
IEZ
JJU
MA.
PH7
PI1
SBO
TGCOT
TPJZQ
UZ6
Z83
Z88
ID FETCH-LOGICAL-p823-3f2eca82cc927d0f7524b22c70605e79a70a2e16da3e06f4df719a1d2b4d896e3
ISBN 1447141288
9781447141280
IngestDate Wed May 28 23:22:08 EDT 2025
Thu May 29 01:50:43 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCallNum QA9 -- .B3955 2012eb
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p823-3f2eca82cc927d0f7524b22c70605e79a70a2e16da3e06f4df719a1d2b4d896e3
OCLC 795994032
PQID EBC1030599_2_2
ParticipantIDs proquest_ebookcentralchapters_6311899_2_3
proquest_ebookcentralchapters_1030599_2_2
PublicationCentury 2000
PublicationDate 2012
PublicationDateYYYYMMDD 2012-01-01
PublicationDate_xml – year: 2012
  text: 2012
PublicationDecade 2010
PublicationPlace United Kingdom
PublicationPlace_xml – name: United Kingdom
PublicationTitle Mathematical Logic for Computer Science
PublicationYear 2012
Publisher Springer London, Limited
Publisher_xml – name: Springer London, Limited
SSID ssj0000697543
Score 1.3883846
SourceID proquest
SourceType Publisher
SubjectTerms Mathematical foundations
Mathematical logic
Mathematical theory of computation
Title Mathematical Logic for Computer Science
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=1030599&ppg=2
http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6311899&ppg=3
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEA62XtSLT3yzB0FEVnaTbB7HWiqlWE9VeitJNoteVrH14q93km66WxWkXsISQkK-yWYyk3wzCF04zoHWSRHr1GQx1TmOJezFcVpYwjUusPJ0seED6z_SwTgb19lbPbtkpm_M56-8kv9IFepAro4lu4JkF51CBXyDfKEECUP57fC77GatMgyFgKvOF-12MP9kMKRpCH_twt62ZdyZ08qHLt6meVYvzfWySneVl8A_t2h6CYKX8LpOErJMoJrbk2Bd8ZSCykpq9RCuxMlylVeBvdsuI2CiSDnBE9JCLS6yNlrv9Ab3TwtPV8IkzyjxrLqqexGCbYXhfmhCr95H22jLUT4ix8WAcXfQmi130WaNyHQPXTbxiTw-EeATBXyiCp99NLrrjbr9uEoyEb8JTGJSYGuUwMZIzPOk4BmsXYyNCyqUWS4VTxS2KcsVsQkraF7wVKo0x5rmQjJLDlC7fC3tIYqEoja13HAtGM1ZoqykSiohiCVCc3KErsIcJ_4mvHp-a-aTm05cxrfMQ4n_bNuA_XiFtidoo14dp6g9e_-wZ3CqmunzSmxf6tYoAw
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Mathematical+Logic+for+Computer+Science&rft.au=Ben-Ari%2C+Mordechai&rft.atitle=Mathematical+Logic+for+Computer+Science&rft.date=2012-01-01&rft.pub=Springer+London%2C+Limited&rft.isbn=9781447141280&rft.externalDBID=3&rft.externalDocID=EBC6311899_2_3
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F1030599-l.jpg
http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6311899-l.jpg