Skip to main content
ეროვნული სამეცნიერო ბიბლიოთეკა : National Science Library
Your cart is empty.
Cart
Lists
Public lists
წერა კითხვა
ნობელი
ბუდიზმი
ინვესტიცია
მეცნიერების პოლიტიკა
განათლების პოლიტიკა
მეცნიერების მენეჯმენტი
შიომღვიმის მონასტერი
ხალხური მედიცინის ისტორია
ყურძნის წვენის ტექნოლოგია
View all
Your lists
Log in to create your own lists
Languages
English
ქართული
Log in to your account
Search history
Clear
National Science Library of Georgia
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Purchase suggestions
Libraries
Log in to your account
×
Login:
Password:
Don't have an account?
Register here.
Home
Results of search for 'au:"Barwise, Jon,"'
Refine your search
Availability
Limit to currently available items
Authors
Barwise, Jon
Feferman, Solomon
Seligman, Jerry
Series
Cambridge tracts in theoretical computer science
Perspectives in logic
Topics
Admissible sets
Definability theory (Mathematical logic)
Electronic data processing
Model theory
Your search returned 3 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Place hold
Results
Model-theoretic logics /
edited by J. Barwise, S. Feferman.
by
Barwise, Jon
[editor.]
Feferman, Solomon
[editor.]
Series:
Perspectives in logic
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Cambridge : Cambridge University Press, 2016
Online resources:
Click here to access online
Availability:
No items available.
Log in to add tags
Add to cart
(remove)
Admissible sets and structures : an approach to definability theory /
Jon Barwise.
by
Barwise, Jon
[author.]
Series:
Perspectives in logic
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Cambridge : Cambridge University Press, 2016
Online resources:
Click here to access online
Availability:
No items available.
Log in to add tags
Add to cart
(remove)
Information flow : the logic of distributed systems /
Jon Barwise, Jerry Seligman.
by
Barwise, Jon
[author.]
Seligman, Jerry
, 1964-
[author.]
Series:
Cambridge tracts in theoretical computer science
; 44.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Cambridge : Cambridge University Press, 1997
Online resources:
Click here to access online
Availability:
No items available.
Log in to add tags
Add to cart
(remove)
Pages
Not finding what you're looking for?
Make a
purchase suggestion
Copyright © 2023
Sciencelib.ge
All rights reserved.