Skip to search
Skip to main content
Saved Lists
Quicksearch Login
|
Ask Yale Library
My Library Accounts
My Library Accounts
My Acccount (Orbis)
Special Collections
Scan and Deliver
BorrowDirect
Interlibrary Loan
Bass Media Equipment
Quicksearch top menu
Saved Lists
Quicksearch Login
Ask Yale Library
My Library Accounts
My Library Accounts
My Acccount (Orbis)
Special Collections
Scan and Deliver
BorrowDirect
Interlibrary Loan
Bass Media Equipment
Quicksearch
All Fields
Title
Journal Title
Author/Creator
Series
Title Begins With
Subject
Subject (Local Yale)
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
Search
Advanced Search
Search Help
see all results by data source
All Results
Books+
Digital Collections
Databases
Archives or Manuscripts
Articles+
New Arrivals
Select Data Source
All Results
Books+
Digital Collections
Databases
Archives or Manuscripts
Articles+
New Arrivals
Clear Search
Books+ Search Results
Recently Added:
Is
Is
Is Not
within 6 Months
Subject (Genre):
Is
Is
Is Not
Congresses
Subject:
Is
Is
Is Not
Logic, Symbolic and mathematical
Advanced Search
Basic Search
Help
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Subject (Local Yale)
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
AND
OR
NOT
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Subject (Local Yale)
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
AND
OR
NOT
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Subject (Local Yale)
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
Add a row
Search
Reset
Limit results by
Format
Journals & Newspapers (1)
Online (1)
Location
Yale Internet Resource (1)
Language
English (1)
Publication date
{:"aria-label"=>"date-range"}
-
{:"aria-label"=>"date-range"}
Results are already all online
Viewing Online Items
Limit your search
Format
Journals & Newspapers
1
Online
1
Publication Date
1986
1
Author/Creator
ACM Special Interest Group for Automata and Computability Theory
1
Association for Symbolic Logic
1
European Association for Theoretical Computer Science
1
IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
1
Symposium on Logic in Computer Science
1
Recently Added
within 6 Months
✖
[remove]
1
within 1 Year
1
Location
Yale Internet Resource
1
Language
English
1
Subject
Computer programming
1
Computer programs
1
Correctness
1
Electronic data processing
1
Logic, Symbolic and mathematical
✖
[remove]
1
Subject (Genre)
Congresses
✖
[remove]
1
LC Class
Q - Science
1
All results below
1
entry found
Toggle Menu
Display Options
10 per page
25 per page
50 per page
100 per page
Sort by Relevance
Relevance
Recently Added
Published Earliest
Published Latest
Author/Creator A-Z
Author/Creator Z-A
Title A-Z
Title Z-A
Selected
Send to Email
Export to EndNote
Export to RefWorks
Add to My Saved List
Select All Items
Clear All Items
Start Over
Checkbox
1.
Proceedings
Author
Symposium on Logic in Computer Science
Published
Washington, D.C. : IEEE Computer Society Press, ©1986-
Online
Full text
Location
Yale Internet Resource >>
None
Format
Journals & Newspapers
/
Online
