books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 42; Issue 1
Main
Journal of Symbolic Logic
Volume 42; Issue 1
Journal of Symbolic Logic
Volume 42; Issue 1
1
Meeting of the Association for Symbolic Logic: Reno, 1976
Solomon Feferman, Jon Barwise and Leo Harrington
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 148 KB
Your tags:
english, 1977
2
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 95 KB
Your tags:
english, 1977
3
Transfinite Extensions of Friedberg's Completeness Criterion
John M. MacIntyre
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 248 KB
Your tags:
english, 1977
4
A Sequent Calculus for Type Assignment
Jonathan P. Seldin
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 361 KB
Your tags:
english, 1977
5
Omitting Models
Ernest Snapper
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 126 KB
Your tags:
english, 1977
6
The Pure Part of HYP(M)
Mark Nadel and Jonathan Stavi
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 307 KB
Your tags:
english, 1977
7
On Generalized Computational Complexity
Barry E. Jacobs
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 273 KB
Your tags:
english, 1977
8
A Complete Lω 1ω-Sentence Characterizing ℵ1
Julia F. Knight
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 132 KB
Your tags:
english, 1977
9
A Remark on Scott's Interpolation Theorem for Lω1ω
Nobuyoshi Motoháshi
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 79 KB
Your tags:
english, 1977
10
Embedding Theorems for Boolean Algebras and Consistency Results on Ordinal Definable Sets
Petr Stepanek and Bohuslav Balcar
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 291 KB
Your tags:
english, 1977
11
Primitive Recursive Ordinal Functions with Added Constants
Stanley H. Stahl
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 158 KB
Your tags:
english, 1977
12
Partially Ordered Interpretations
Nobuyoshi Motohashi
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 233 KB
Your tags:
english, 1977
13
Skolem Functions and Elementary Embeddings
Julia F. Knight
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 171 KB
Your tags:
english, 1977
14
A Note on the Number of Zeros of Polynomials and Exponential Polynomials
C. Smorynski
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 180 KB
Your tags:
english, 1977
15
Logic.by Wesley C. Salmon
Review by: Ian Carlstrom
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 101 KB
Your tags:
english, 1977
16
Logic in Algebraic Form. Three Languages and Theories.by William Craig
Review by: Stephen D. Comer
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 99 KB
Your tags:
english, 1977
17
Combinatory Logic.by Haskell B. Curry; J. Roger Hindley; Jonathan P. Seldin
Review by: Henk Barendregt
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 103 KB
Your tags:
english, 1977
18
Meeting of the Association for Symbolic Logic: Clermont-Ferrand, France, 1975
M. Guillaume
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 614 KB
Your tags:
english, 1977
19
Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975
Haim Gaifman, Azriel Levy and Gert H. Müller
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 105 KB
Your tags:
english, 1977
20
Meeting of the Association for Symbolic Logic: New York, 1975
Paul Benacerraf, Simon Kochen and Gerald Sacks
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 319 KB
Your tags:
english, 1977
21
Konéčnyé avlomaty (Povédénié i sintéz). B. A. Trahténbrot and Á. M. Barzdin′. Konéčnyé avlomaty (Povédénié i sintéz). Izdatél′stvo “Nauka,” Moscow 1970, 400 pp.
McNaughton, Robert
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 298 KB
Your tags:
english, 1977
22
Set theory: an intuitive approach. Shwu-Yeng T. Lin and You-Feng Lin. Set theory: an intuitive approach. Houghton Mifflin Company, Boston 1974, x + 164 pp.
Helling, Martin
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 317 KB
Your tags:
english, 1977
23
JSL volume 42 issue 1 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 1.18 MB
Your tags:
english, 1977
24
JSL volume 42 issue 1 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 1.47 MB
Your tags:
english, 1977
25
Back Matter
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 148 KB
Your tags:
english, 1977
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×