First-Order Logic, Second-Order Logic, and Completeness

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	First-Order Logic Revisited
Editors	Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, Heinrich Wansing
Publisher	Logos Verlag
Pages	303-321
ISBN (Print)	3832504753, 978-3-8325-0475-5
Publication status	Published - 2004

Handle.net

@inbook{c4bc3870453542bea2d54876ed928ae5,

title = "First-Order Logic, Second-Order Logic, and Completeness",

author = "Marcus Rossberg",

note = "paper can be downloaded here: http://www.st-andrews.ac.uk/\textasciitilde{}mr30/ppp.htm",

year = "2004",

language = "English",

isbn = "3832504753",

pages = "303--321",

editor = "Vincent Hendricks and Fabian Neuhaus and Pedersen, \{Stig Andur\} and Uwe Scheffler and Heinrich Wansing",

booktitle = "First-Order Logic Revisited",

publisher = "Logos Verlag",

}

TY - CHAP

T1 - First-Order Logic, Second-Order Logic, and Completeness

AU - Rossberg, Marcus

N1 - paper can be downloaded here: http://www.st-andrews.ac.uk/~mr30/ppp.htm

PY - 2004

Y1 - 2004

UR - http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=0475&lng=en&

M3 - Chapter

SN - 3832504753

SN - 978-3-8325-0475-5

SP - 303

EP - 321

BT - First-Order Logic Revisited

A2 - Hendricks, Vincent

A2 - Neuhaus, Fabian

A2 - Pedersen, Stig Andur

A2 - Scheffler, Uwe

A2 - Wansing, Heinrich

PB - Logos Verlag

ER -