Please sign in to WorldCat

Don't have an account? You can easily create a free account.

Home

WorldCat Home About WorldCat Help Get E-mail Updates Feedback WorldCat Blog

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA

Chicago (Author-Date)

Harvard

MLA

Turabian

Export a citation
Export to RefWorks Export to EndNote Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name:
Your e-mail address is required. Please enter your e-mail address.

Your e-mail address you entered is not in a valid format. Please re-enter your e-mail address.
Enter your e-mail address: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/428093401 Title: Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 Author: Maurice Boffa; D van Dalen; Kenneth McAloon; ScienceDirect (Online service) Publisher: Amsterdam : North-Holland, 1979. ISBN/ISSN: 9780444853783 0444853782 OCLC:428093401

The ReCaptcha terms you entered were incorrect. Please try to match the 2 words shown in the window, or try the audio version.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978

Preview this item

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978

Author:	Maurice Boffa; D van Dalen; Kenneth McAloon; ScienceDirect (Online service)
Publisher:	Amsterdam : North-Holland, 1979.
Series:	Studies in logic and the foundations of mathematics, v. 97.
Edition/Format:	eBook : Document : Conference publication : English
Rating:

Borrow / obtain a copy

Find a copy online

Links to this item

ScienceDirect An electronic book accessible through the World Wide Web; click for information

Find a copy in the library

Finding libraries that hold this item...

Details

Genre/Form:	Electronic books.
Material Type:	Conference publication, Document, Internet resource
Document Type:	Internet Resource, Computer File
All Authors / Contributors:	Maurice Boffa; D van Dalen; Kenneth McAloon; ScienceDirect (Online service) Find more information about:
ISBN:	9780444853783 0444853782
OCLC Number:	428093401
Notes:	International conference proceedings.
Description:	434 p.
Contents:	Continuity in intuitionistic set theories / Michael Beeson -- Stabel algebraic theories / Gregory Cherlin -- Un résultat de non contradiction relative au sujet de la conjecture de SOLOVAY / René David -- Remarks on constructive mathematical analysis / O. Demuth, A. Kučera -- Diophantine problem for polynomial rings of positive characteristic / J. Denef -- Algorithms and bounds for poloynomial rings -- Constructive theories of function and classes / Solomon Feferman -- On partially conservative extensions of arithmetic / Petr Hájek -- Weakly separated subspaces and networks / A. Hajnal, I. Juhász -- Equivalence relations, projective and beyond / L. Harrington, R. Sami -- Projections of lawless sequences II / G.F. van der Hoeven, A.S. Troelstra -- Linear orders in (w)w under eventual dominance / Richard Laver -- Hypermeasurable cardinals / William Mitchell -- On the number of expansions of the models of ZFC-set theory to models of KM-theory of classes -- A fine structure generated by reflection formulas over primitive recursive arithmetic / Ulf. R. Schmerl -- Logic and the axiom of choice / H. Schwichtenberg -- On successors of singular cardinals / Saharon Shelah -- Paul Bernays / E. Speaker -- Abstract logic and set theory, I, definability / Jouko Väänänen -- Lattice products / Volker Weispfenning -- Some o-fields of subsets of reals / Bogdan Weglorz.
Series Title:	Studies in logic and the foundations of mathematics, v. 97.
Responsibility:	edited by Maurice Boffa, Dirkvan Dalen and Kenneth Mcaloon.

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Get E-mail Updates \| Feedback \| Search \| WorldCat Blog

More like this

Subjects

Similar Items