2010-03-01, English, Article, Journal or magazine article edition: A proof of completeness for continuous first-order logic. Yaacov, Itai Ben; Pedersen, Arthur Paul

User activity

Share to:
 
Bookmark: https://trove.nla.gov.au/version/79883185
Physical Description
  • Magazine/​Journal article
Published
  • Association for Symbolic Logic, Inc., 2010 March
Language
  • English

Edition details

Title
  • A proof of completeness for continuous first-order logic.
Appears In
  • Journal of Symbolic Logic, v.75, no.1, 2010 March, p.168-190 (ISSN: 0022-4812)
Author
  • Yaacov, Itai Ben
  • Pedersen, Arthur Paul
Published
  • Association for Symbolic Logic, Inc., 2010 March
Physical Description
  • Magazine/​Journal article
Subjects
Target Audience
  • Academic
Language
  • English
Database
  • Gale Academic OneFile
  • Gale General OneFile
  • Gale Expanded Academic
Identifier
  • 221175019

Get this edition

Published in

Some editions of the publication "The Journal of symbolic logic" are available from these libraries. The edition containing this article ( v.75, no.1, 2010 March, p.168-190 ) may not be available:

None of your libraries hold this item.

These 21 locations in All:

Library Access Call number(s) Formats held Language
Ascham School: Margaret Bailey Library. Not open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 001483759; Full Text Available; JSTOR Arts and Sciences 1 - Available from 1936 volume: 1 issue: 1 until 2008 volume: 73 issue: 4 Periodical; Journal, magazine, other English
CSIRO. Library Services. Not open to the public 999617740001981; JSTOR Mathematics and Statistics. Online Access. Available for document delivery. Restrictions apply.; Available from 1936 volume: 1 issue: 1; Most recent 5 year(s) not available.; Cambridge University Press Journals Full Package Standard UK. Online Access. Available for document delivery. Restrictions apply.; Available from 2009 volume: 74 issue: 1; Most recent 6 year(s) available. Periodical; Journal, magazine, other English
Department of Agriculture and Water Resources. Department of Agriculture and Water Resources Library. May not be open to the public Online access only Periodical; Journal, magazine, other English
Edith Cowan University. Edith Cowan University Library. Open to the public Periodical; Journal, magazine, other English
Griffith University. Griffith University Library. Open to the public .b14870794; Electronic Resource : Publ. may restrict Doc. Del. Periodical; Journal, magazine, other English
Macquarie University. Macquarie University Library. Open to the public 995684510802171; BC1 .J6 Periodical; Journal, magazine, other English
Mentone Girls' Grammar School. Kerferd Library . Not open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Monash University. Monash University Library. Open to the public 99712901751; 164.05 J86; v. 1 (1936) to present; HA; SER; 164.05 J86; v. 18, no. 1 (1953) to v. 42, no. 4 (1977) ; incomplete; OS; YOS-SER Periodical; Journal, magazine, other English
National Gallery of Victoria. The Shaw Research Library. May not be open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
National Library of Australia. Open to the public 790221; S 164 JOU; Vol. 1, no. 1 (1936)-v. 81, no. 4 (2016 Dec.) [Imperfect] Periodical; Journal, magazine, other English
Saint Ignatius' College, Riverview. Christopher Brennan Library. Not open to the public Periodical; Journal, magazine, other English
Shore School. Boer War Contingent Memorial Library. Not open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public held; v.1-v.73; 1936-2008; lacks v.1-v.2 Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public 164.05/1; Vol. 1-v. 62; 1936-1997 Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public b10014020; sshp BC1 .J65 : 46(1981)-71(2006); 72(2007)-; whsp AP00059 : 1(1936)-45(1980) Periodical; Journal, magazine, other English
University of Tasmania. Open to the public .b10472265; Ironmtn ser v1-59;1936-94 Periodical; Journal, magazine, other English
University of Western Australia. University of Western Australia Library. Open to the public 9946130102101; HELD; V. 73-75, 76(1-2) ; 2008-2011; V. 1-65 ; 1936-2000 Periodical; Journal, magazine, other English
Xavier College. Brennan Library. May not be open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Show 0 more libraries...

These 2 locations in Australian Capital Territory:

Library Access Call number(s) Formats held Language
Department of Agriculture and Water Resources. Department of Agriculture and Water Resources Library. May not be open to the public Online access only Periodical; Journal, magazine, other English
National Library of Australia. Open to the public 790221; S 164 JOU; Vol. 1, no. 1 (1936)-v. 81, no. 4 (2016 Dec.) [Imperfect] Periodical; Journal, magazine, other English
Show 0 more libraries...

These 8 locations in New South Wales:

Library Access Call number(s) Formats held Language
Ascham School: Margaret Bailey Library. Not open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 001483759; Full Text Available; JSTOR Arts and Sciences 1 - Available from 1936 volume: 1 issue: 1 until 2008 volume: 73 issue: 4 Periodical; Journal, magazine, other English
Macquarie University. Macquarie University Library. Open to the public 995684510802171; BC1 .J6 Periodical; Journal, magazine, other English
Saint Ignatius' College, Riverview. Christopher Brennan Library. Not open to the public Periodical; Journal, magazine, other English
Shore School. Boer War Contingent Memorial Library. Not open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public 164.05/1; Vol. 1-v. 62; 1936-1997 Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

These 2 locations in Queensland:

Library Access Call number(s) Formats held Language
Griffith University. Griffith University Library. Open to the public .b14870794; Electronic Resource : Publ. may restrict Doc. Del. Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public b10014020; sshp BC1 .J65 : 46(1981)-71(2006); 72(2007)-; whsp AP00059 : 1(1936)-45(1980) Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

This single location in Tasmania:

Library Access Call number(s) Formats held Language
University of Tasmania. Open to the public .b10472265; Ironmtn ser v1-59;1936-94 Periodical; Journal, magazine, other English
Show 0 more libraries...

These 6 locations in Victoria:

Library Access Call number(s) Formats held Language
CSIRO. Library Services. Not open to the public 999617740001981; JSTOR Mathematics and Statistics. Online Access. Available for document delivery. Restrictions apply.; Available from 1936 volume: 1 issue: 1; Most recent 5 year(s) not available.; Cambridge University Press Journals Full Package Standard UK. Online Access. Available for document delivery. Restrictions apply.; Available from 2009 volume: 74 issue: 1; Most recent 6 year(s) available. Periodical; Journal, magazine, other English
Mentone Girls' Grammar School. Kerferd Library . Not open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Monash University. Monash University Library. Open to the public 99712901751; 164.05 J86; v. 1 (1936) to present; HA; SER; 164.05 J86; v. 18, no. 1 (1953) to v. 42, no. 4 (1977) ; incomplete; OS; YOS-SER Periodical; Journal, magazine, other English
National Gallery of Victoria. The Shaw Research Library. May not be open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public held; v.1-v.73; 1936-2008; lacks v.1-v.2 Periodical; Journal, magazine, other English
Xavier College. Brennan Library. May not be open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

Other suppliers

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment