Herbrand schemes for first-order logic

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 16 von 1276


Link zu diesem Datensatz	https://d-nb.info/1371686149
Titel	Herbrand schemes for first-order logic / by Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
Person(en)	Afshari, Bahareh (Verfasser) Enqvist, Sebastian (Verfasser) Leigh, Graham E. (Verfasser)
Organisation(en)	SpringerLink (Online service) (Sonstige)
Umfang/Format	1 Online-Ressource.
Persistent Identifier	URN: urn:nbn:de:101:1-2507162129512.722763405268 DOI: 10.1007/s00153-024-00959-w
URL	https://doi.org/10.1007/s00153-024-00959-w
Zeitliche Einordnung	Erscheinungsdatum: 2025
DDC-Notation	511.3 (maschinell ermittelte DDC-Kurznotation)
Sprache(n)	Englisch (eng)
Beziehungen	Enthalten in: Archive for mathematical logic (14.5.2025: 1-70)
Sachgruppe(n)	510 Mathematik

Online-Zugriff

Archivobjekt öffnen

Treffer 16 von 1276

Korrekturanfrage