Metamathematics of first-order arithmetic

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/29092316#Topic/metamatematyka
http://experiment.worldcat.org/entity/work/data/29092316#Topic/fonctions_recursives
http://experiment.worldcat.org/entity/work/data/29092316#Topic/peano_arithmetik
http://experiment.worldcat.org/entity/work/data/29092316#Topic/aritmetica
http://experiment.worldcat.org/entity/work/data/29092316#Topic/metamatematica
http://experiment.worldcat.org/entity/work/data/29092316#Topic/metamathematik
http://experiment.worldcat.org/entity/work/data/29092316#Topic/logica_simbolica_y_matematica
http://id.loc.gov/authorities/subjects/sh85007169
http://experiment.worldcat.org/entity/work/data/29092316#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/29092316#Topic/arithmetique
http://experiment.worldcat.org/entity/work/data/29092316#Topic/arithmetik_metamathematik
http://experiment.worldcat.org/entity/work/data/29092316#Topic/modele_arithmetique
http://experiment.worldcat.org/entity/work/data/29092316#Topic/logica
http://experiment.worldcat.org/entity/work/data/29092316#Topic/arithmetik
http://experiment.worldcat.org/entity/work/data/29092316#Topic/arytmetyka_podstawy
http://experiment.worldcat.org/entity/work/data/29092316#Topic/arithmetique_fondements
http://experiment.worldcat.org/entity/work/data/29092316#Topic/metamathematics
http://experiment.worldcat.org/entity/work/data/29092316#Topic/metamathematik_arithmetik
http://experiment.worldcat.org/entity/work/data/29092316#Topic/metamathematique
http://experiment.worldcat.org/entity/work/data/29092316#Topic/fondement_arithmetique
http://id.worldcat.org/fast/814493
http://experiment.worldcat.org/entity/work/data/29092316#Topic/metamatematicas
http://experiment.worldcat.org/entity/work/data/29092316#Topic/logic_symbolic_and_mathematical
http://experiment.worldcat.org/entity/work/data/29092316#Topic/theoreme_g_de_1
http://experiment.worldcat.org/entity/work/data/29092316#Topic/arithmetique_bornee

http://schema.org/author

http://worldcat.org/entity/person/id/2630817442
http://worldcat.org/entity/person/id/2638366661

http://schema.org/contributor

http://worldcat.org/entity/person/id/2630817442

http://schema.org/creator

http://worldcat.org/entity/person/id/2638366661

http://schema.org/name

"Metamathematics of first-order arithmetic"
"Metamathematics of first-order arithmetic"@en
"Metamathematics of first order arithmetic"
"Metamathematics of First-Order Arithmetic"

http://schema.org/workExample

http://www.worldcat.org/oclc/468277527
http://www.worldcat.org/oclc/827906562
http://www.worldcat.org/oclc/845039551
http://www.worldcat.org/oclc/26095691
http://www.worldcat.org/oclc/848652534
http://www.worldcat.org/oclc/243723290
http://www.worldcat.org/oclc/800985620
http://www.worldcat.org/oclc/639833914
http://www.worldcat.org/oclc/856592941
http://www.worldcat.org/oclc/732874324
http://www.worldcat.org/oclc/783029194
http://www.worldcat.org/oclc/757620167
http://www.worldcat.org/oclc/722797863
http://www.worldcat.org/oclc/803226761
http://www.worldcat.org/oclc/41493548
http://www.worldcat.org/oclc/610511184
http://www.worldcat.org/oclc/318329980
http://www.worldcat.org/oclc/751542317
http://www.worldcat.org/oclc/471675361
http://www.worldcat.org/oclc/482815422
http://www.worldcat.org/oclc/679312568

Arithmetik.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Arithmetik."