Notes on Substitution in First–Order Logic
Kracht M (2004)
In: First-Order Logic 75. Scheffler U (Ed); Berlin: Logos Verlag: 155-172.
Konferenzbeitrag
| Veröffentlicht | Englisch
Download
Es wurden keine Dateien hochgeladen. Nur Publikationsnachweis!
Autor*in
Herausgeber*in
Scheffler, Uwe
Erscheinungsjahr
2004
Titel des Konferenzbandes
First-Order Logic 75
Seite(n)
155-172
Page URI
https://pub.uni-bielefeld.de/record/2594532
Zitieren
Kracht M. Notes on Substitution in First–Order Logic. In: Scheffler U, ed. First-Order Logic 75. Berlin: Logos Verlag; 2004: 155-172.
Kracht, M. (2004). Notes on Substitution in First–Order Logic. In U. Scheffler (Ed.), First-Order Logic 75 (pp. 155-172). Berlin: Logos Verlag.
Kracht, Marcus. 2004. “Notes on Substitution in First–Order Logic”. In First-Order Logic 75, ed. Uwe Scheffler, 155-172. Berlin: Logos Verlag.
Kracht, M. (2004). “Notes on Substitution in First–Order Logic” in First-Order Logic 75, Scheffler, U. ed. (Berlin: Logos Verlag), 155-172.
Kracht, M., 2004. Notes on Substitution in First–Order Logic. In U. Scheffler, ed. First-Order Logic 75. Berlin: Logos Verlag, pp. 155-172.
M. Kracht, “Notes on Substitution in First–Order Logic”, First-Order Logic 75, U. Scheffler, ed., Berlin: Logos Verlag, 2004, pp.155-172.
Kracht, M.: Notes on Substitution in First–Order Logic. In: Scheffler, U. (ed.) First-Order Logic 75. p. 155-172. Logos Verlag, Berlin (2004).
Kracht, Marcus. “Notes on Substitution in First–Order Logic”. First-Order Logic 75. Ed. Uwe Scheffler. Berlin: Logos Verlag, 2004. 155-172.